A Temporal Logic for Planning under Uncertainty.
Manuel BiscaiaPedro BaltazarPaulo MateusRajagopal NagarajanPublished in: FLAIRS Conference (2013)
Keyphrases
- temporal logic
- planning under uncertainty
- model checking
- decision theoretic
- markov decision processes
- ai planning
- modal logic
- belief space
- probabilistic planning
- multi agent
- dynamical systems
- decision theoretic planning
- temporal knowledge
- linear temporal logic
- verification method
- mazurkiewicz traces
- computation tree logic
- partially observable markov decision processes
- transition systems
- belief revision
- dynamic constraints
- search algorithm
- integer programming
- heuristic search
- dynamic environments
- domain specific
- bounded model checking
- video sequences