Planning under Uncertainty in Linear Time Logic.
Marta Cialdea MayerCarla LimongelliAndrea OrlandiniValentina PoggioniPublished in: AI*IA (2003)
Keyphrases
- planning under uncertainty
- markov decision processes
- ai planning
- decision theoretic
- multi agent
- belief space
- dynamical systems
- partially observable markov decision processes
- probabilistic planning
- robotic tasks
- decision theoretic planning
- planning problems
- dynamic environments
- finite state
- formal theory
- search algorithm
- reinforcement learning
- decision making