Computing Superior Counter-Examples for Conformant Planning.

Xiaodi Zhang Alban Grastien Enrico Scala

Published in: AAAI (2020)

Keyphrases

counter examples
conformant planning
symbolic model checking
computationally hard
machine learning
search strategies
planning problems
belief space