Resilient Temporal Logic Planning in the Presence of Robot Failures.
Samarth KallurayaGeorge J. PappasYiannis KantarosPublished in: CDC (2023)
Keyphrases
- temporal logic
- temporally extended goals
- model checking
- modal logic
- mobile robot
- motion planning
- temporally extended
- satisfiability problem
- concurrent systems
- verification method
- symbolic model checking
- planning domains
- computation tree logic
- transition systems
- humanoid robot
- belief revision
- mazurkiewicz traces
- heuristic search
- path planning
- model checker
- collision free
- dynamic environments
- multi robot
- query answering
- temporal knowledge
- dynamic constraints
- ai planning
- bounded model checking
- knowledge base