@conferenceObjectPart{EiflerFickert_2018, title={Online Refinement of Cartesian Abstraction Heuristics}, author={Eifler, Rebecca and Fickert, Maximilian}, editor={Bulitko, Vadim and Storandt, Sabine}, isbn={978-1-57735-802-2}, doi={http://dx.doi.org/10.22028/D291-29516}, pages={46-54}, publisher={AAAI Press}, year={2018} }