Additive Counterexample-Guided Cartesian Abstraction Refinement.

Jendrik Seipp Malte Helmert

Published in: AAAI (Late-Breaking Developments) (2013)

Keyphrases

high level
model checking
formal verification
polar coordinates
decision theoretic planning
decision making
special case
data abstraction
feature selection
multiresolution
low level
refinement process