Saturated Path-Constrained MDP: Planning under Uncertainty and Deterministic Model-Checking Constraints.
Jonathan SprauelAndrey KolobovFlorent Teichteil-KönigsbuchPublished in: AAAI (2014)
Keyphrases
- planning under uncertainty
- model checking
- markov decision processes
- finite state
- temporal logic
- reachability analysis
- ai planning
- partially observable markov decision processes
- decision theoretic
- model checker
- automated verification
- deterministic finite automaton
- planning domains
- formal specification
- probabilistic planning
- symbolic model checking
- multi agent
- formal methods
- belief space
- computation tree logic
- verification method
- decision theoretic planning
- formal verification
- bounded model checking
- dynamical systems
- epistemic logic
- timed automata
- modal logic
- constraint satisfaction
- state space
- objective function
- integer programming
- constraint programming
- special case