A Counter-Example Based Approach to Probabilistic Conformant Planning.

Xiaodi Zhang Alban Grastien Charles Gretton

Published in: ICAPS (2024)

Keyphrases

conformant planning
symbolic model checking
computationally hard
belief space
bayesian networks
initial state
forward search
constraint programming
finite domain