Generalized 3-Valued Belief States in Conformant Planning.
Saurabh FadnisJussi RintanenPublished in: PRICAI (1) (2022)
Keyphrases
- belief space
- belief state
- conformant planning
- partial observability
- symbolic model checking
- state space
- partially observable
- belief revision
- partially observable markov decision processes
- dynamic bayesian networks
- planning problems
- computationally hard
- dynamic environments
- finite state
- motion planning
- initial state
- forward search
- model checking