This Time the Robot Settles for a Cost: A Quantitative Approach to Temporal Logic Planning with Partial Satisfaction.
Morteza LahijanianShaull AlmagorDror FriedLydia E. KavrakiMoshe Y. VardiPublished in: AAAI (2015)
Keyphrases
- temporal logic
- temporally extended goals
- model checking
- mobile robot
- motion planning
- temporally extended
- satisfiability problem
- symbolic model checking
- modal logic
- qualitative differential equations
- optimal planning
- computation tree logic
- concurrent systems
- humanoid robot
- mazurkiewicz traces
- linear temporal logic
- path planning
- ai planning
- formal specification language
- heuristic search
- planning problems
- transition systems
- multi robot
- verification method
- optimal plans
- temporal knowledge
- formal specification
- reactive systems
- qualitative and quantitative
- model checker
- planning domains
- decision theoretic
- bounded model checking
- domain independent
- qualitative reasoning
- knowledge base