Online Refinement of Cartesian Abstraction Heuristics.

Rebecca Eifler Maximilian Fickert

Published in: SOCS (2018)

Keyphrases

online learning
real time
special case
admissible heuristics
greedy heuristics
metadata
website
multiscale
search algorithm
active learning
heuristic search