OBDD-based Universal Planning for Synchronized Agents in Non-Deterministic Domains
Rune M. JensenManuela M. VelosoPublished in: CoRR (2011)
Keyphrases
- deterministic domains
- planning problems
- stochastic domains
- symbolic model checking
- multi agent systems
- partial observability
- multi agent
- reinforcement learning
- nondeterministic domains
- multiple agents
- domain independent
- model checking
- heuristic search
- state space
- single agent
- classical planning
- action selection
- ai planning
- partial information
- search algorithm
- decision theoretic
- binary decision diagrams
- learning agent
- planning systems
- partially observable markov decision processes
- rule induction
- planning domains