Multirobot Coordination with Counting Temporal Logics.
Yunus Emre SahinPetter NilssonNecmiye OzayPublished in: CoRR (2018)
Keyphrases
- temporal logic
- multi robot
- multi robot coordination
- multiple robots
- model checking
- mazurkiewicz traces
- path planning
- multi robot systems
- modal logic
- mobile robot
- satisfiability problem
- concurrent systems
- multi robot exploration
- distributed architecture
- search and rescue
- temporal knowledge
- belief revision
- cooperative
- verification method
- linear temporal logic
- robotic systems
- multi agent
- predicate logic
- robot teams
- leader follower
- bounded model checking
- multi agent systems
- reactive systems
- temporal resolution
- computer vision
- sensor networks
- image sequences