Epistemic Specifications and Conformant Planning.
Yan ZhangYuanlin ZhangPublished in: AAAI Workshops (2017)
Keyphrases
- conformant planning
- symbolic model checking
- computationally hard
- forward search
- model checker
- model checking
- belief space
- initial state
- formal verification
- formal specification
- finite domain
- ai planning
- partial observability
- heuristic search
- state space
- specification language
- dynamic environments
- formal methods
- set theory
- description language
- state space search
- situation calculus