OBDD-based Universal Planning for Synchronized Agents in Non-Deterministic Domains.
Rune M. JensenManuela M. VelosoPublished in: J. Artif. Intell. Res. (2000)
Keyphrases
- deterministic domains
- planning problems
- symbolic model checking
- stochastic domains
- partial observability
- multi agent systems
- multi agent
- reinforcement learning
- nondeterministic domains
- multiple agents
- domain independent
- heuristic search
- classical planning
- single agent
- model checking
- state space
- search algorithm
- rule induction
- action selection
- general purpose
- decision trees