Temporal Logic Task Planning and Intermittent Connectivity Control of Mobile Robot Networks.
Yiannis KantarosMeng GuoMichael M. ZavlanosPublished in: IEEE Trans. Autom. Control. (2019)
Keyphrases
- temporal logic
- mobile robot
- model checking
- temporally extended goals
- temporally extended
- motion control
- modal logic
- satisfiability problem
- motion planning
- control system
- concurrent systems
- linear temporal logic
- heuristic search
- dynamic constraints
- autonomous robots
- temporal knowledge
- mazurkiewicz traces
- complex systems
- obstacle avoidance
- verification method
- symbolic model checking
- planning domains
- path planning
- model checker
- transition systems
- bounded model checking
- computation tree logic
- social networks
- planning problems
- belief revision