@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 }