Resilient Temporal Logic Planning in the Presence of Robot Failures.
Samarth KallurayaGeorge J. PappasYiannis KantarosPublished in: CoRR (2023)
Keyphrases
- temporal logic
- temporally extended goals
- model checking
- motion planning
- mobile robot
- satisfiability problem
- modal logic
- temporally extended
- concurrent systems
- path planning
- verification method
- linear temporal logic
- collision free
- symbolic model checking
- belief revision
- heuristic search
- multi robot
- humanoid robot
- computation tree logic
- model checker
- planning problems
- finite state
- formal specification language
- knowledge base
- planning domains
- decision theoretic
- bounded model checking
- petri net
- state space
- mazurkiewicz traces