Abstract: Multi-Agent Path Finding (MAPF) has found wide application in real-world scenarios. However, the classical MAPF action models often overlook the kinematic constraints of real agents, which ...
Abstract: Linking the components in a formal specification to those in the corresponding program is a prerequisite for formal specification-based program fault detection. Existing traceability link ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback