Online Refinement of Cartesian Abstraction Heuristics.

Rebecca Eifler, Maximilian Fickert

Browse the full SoCS paper archive.