Temporal Logic Planning and Control of Robotic Swarms by Hierarchical Abstractions.
Marius KloetzerCalin BeltaPublished in: IEEE Trans. Robotics (2007)
Keyphrases
- temporal logic
- temporally extended goals
- model checking
- modal logic
- satisfiability problem
- temporally extended
- robotic systems
- concurrent systems
- robotic arm
- symbolic model checking
- mobile robot
- robot teams
- mazurkiewicz traces
- linear temporal logic
- verification method
- reactive systems
- motion planning
- temporal knowledge
- transition systems
- computation tree logic
- cooperative
- model checker
- planning problems
- dynamic environments
- finite state
- belief revision
- particle swarm optimization