@article{
author={Ratschan, Stefan},
title={Safety verification of non-linear hybrid systems is quasi-decidable},
journal={Formal Methods in System Design},
year={2014},
volume={44},
number={1},
doi={10.1007/s10703-013-0196-2},
publisher={Springer US},
pages={71--90}
}