OBDD-Based Planning with Real-Valued Variables in Non-Deterministic Environments.
Anuj GoelK. Suzanne BarberPublished in: AAAI/IAAI (1999)
Keyphrases
- real valued
- deterministic domains
- planning problems
- stochastic domains
- symbolic model checking
- ordered binary decision diagrams
- symbolic representation
- complex valued
- categorical variables
- integer valued
- heuristic search
- reinforcement learning
- latent variables
- state space
- model checking
- distributed representations
- real valued data
- multiple instance
- ranking functions
- random variables
- decomposable negation normal form
- planning domains
- low variance
- domain independent
- probabilistic model