Counterexample-Guided Cartesian Abstraction Refinement.

Jendrik Seipp Malte Helmert

Published in: ICAPS (2013)

Keyphrases

model checking
high level
decision theoretic planning
formal verification
data abstraction
information systems
real time
information retrieval
expert systems
image retrieval
special case
probabilistic model
query refinement
polar coordinates