%0 Conference Paper %1 conf/hybrid/MitchellBT01 %A Mitchell, Ian M. %A Bayen, Alexandre M. %A Tomlin, Claire J. %B HSCC %D 2001 %E Benedetto, Maria Domenica Di %E Sangiovanni-Vincentelli, Alberto L. %I Springer %K dblp %P 418-432 %T Validating a Hamilton-Jacobi Approximation to Hybrid System Reachable Sets. %U http://dblp.uni-trier.de/db/conf/hybrid/hscc2001.html#MitchellBT01 %V 2034 %@ 3-540-41866-0

@inproceedings{conf/hybrid/MitchellBT01, added-at = {2017-05-26T00:00:00.000+0200}, author = {Mitchell, Ian M. and Bayen, Alexandre M. and Tomlin, Claire J.}, biburl = {https://www.bibsonomy.org/bibtex/2e3ad885e60350cbcceee2cf3fe42dbd0/dblp}, booktitle = {HSCC}, crossref = {conf/hybrid/2001}, editor = {Benedetto, Maria Domenica Di and Sangiovanni-Vincentelli, Alberto L.}, ee = {https://doi.org/10.1007/3-540-45351-2_34}, interhash = {b25fe8a68e581778f9b37e85807b843b}, intrahash = {e3ad885e60350cbcceee2cf3fe42dbd0}, isbn = {3-540-41866-0}, keywords = {dblp}, pages = {418-432}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:51:30.000+0200}, title = {Validating a Hamilton-Jacobi Approximation to Hybrid System Reachable Sets.}, url = {http://dblp.uni-trier.de/db/conf/hybrid/hscc2001.html#MitchellBT01}, volume = 2034, year = 2001 }