OBDD-Based Universal Planning for Multiple Synchronized Agents in Non-Deterministic Domains.
Rune M. JensenManuela M. VelosoPublished in: AIPS (2000)
Keyphrases
- deterministic domains
- planning problems
- symbolic model checking
- stochastic domains
- reinforcement learning
- partial observability
- multi agent
- multi agent systems
- domain independent
- state space
- nondeterministic domains
- multiple agents
- classical planning
- ai planning
- heuristic search
- temporal logic
- model checking
- single agent
- action selection
- formal verification
- dynamic environments
- incomplete information
- data mining