Multirobot Coordination With Counting Temporal Logics.
Yunus Emre SahinPetter NilssonNecmiye OzayPublished in: IEEE Trans. Robotics (2020)
Keyphrases
- temporal logic
- multi robot
- multi robot coordination
- multiple robots
- model checking
- path planning
- mazurkiewicz traces
- multi robot systems
- mobile robot
- modal logic
- satisfiability problem
- distributed architecture
- concurrent systems
- belief revision
- multi robot exploration
- search and rescue
- multi agent
- verification method
- robotic systems
- multi agent systems
- temporal knowledge
- leader follower
- cooperative
- transition systems
- temporal resolution
- predicate logic
- formation control
- real time