Event-Based Signal Temporal Logic Synthesis for Single and Multi-Robot Tasks.
David GundanaHadas Kress-GazitPublished in: IEEE Robotics Autom. Lett. (2021)
Keyphrases
- temporal logic
- multi robot
- model checking
- multiple robots
- path planning
- mobile robot
- robotic systems
- modal logic
- satisfiability problem
- verification method
- real robot
- multi robot exploration
- multi robot systems
- motion planning
- uncertain environments
- linear temporal logic
- concurrent systems
- potential field
- coalitional game theory
- search and rescue
- temporal knowledge
- robot soccer
- transition systems
- computation tree logic
- event detection
- multi robot cooperative
- reactive systems
- dynamic constraints
- temporally extended
- belief revision
- multi robot coordination
- mazurkiewicz traces
- domain independent