@inproceedings{Xue2017, Author = {Xue, Bai and Fränzle, Martin and Mosaad, Peter Nazier}, Title = {Just scratching the surface: Partial exploration of initial values in reach set computation}, Year = {2017}, Booktitle = {2017 IEEE 56th Conference on Decision and Control (CDC)}, type = {inproceedings} } @COMMENT{Bibtex file generated on }