Directed Fixed-Point Regression-Based Planning for Non-Deterministic Domains.
Miquel RamírezSebastian SardiñaPublished in: ICAPS (2014)
Keyphrases
- fixed point
- deterministic domains
- planning problems
- stochastic domains
- symbolic model checking
- reinforcement learning
- nondeterministic domains
- sufficient conditions
- dynamical systems
- ai planning
- fixed point theorem
- state space
- belief propagation
- partial observability
- policy iteration
- planning domains
- formal verification
- planning systems
- multi agent
- model checking
- orders of magnitude
- search space