Event-Based Signal Temporal Logic Synthesis for Single and Multi-Robot Tasks.
David GundanaHadas Kress-GazitPublished in: CoRR (2020)
Keyphrases
- temporal logic
- multi robot
- model checking
- multiple robots
- robotic systems
- modal logic
- mobile robot
- path planning
- multi robot systems
- motion planning
- multi robot exploration
- real robot
- concurrent systems
- satisfiability problem
- computation tree logic
- temporal knowledge
- search and rescue
- verification method
- dynamic constraints
- potential field
- formal specification language
- coalitional game theory
- formal verification
- belief revision
- event detection
- autonomous robots
- temporally extended
- temporal information
- mazurkiewicz traces
- reinforcement learning