Login / Signup
Incremental Search for Counterexample-Guided Cartesian Abstraction Refinement.
Jendrik Seipp
Samuel von Allmen
Malte Helmert
Published in:
ICAPS (2020)
Keyphrases
</>
search algorithm
search strategy
search efficiency
data driven
search methods
search strategies
solution space
information access
data sets
genetic algorithm
search space
user queries
incremental learning
query refinement