%0 Conference Paper %1 conf/cdc/AbateAPLS06 %A Abate, Alessandro %A Amin, Saurabh %A Prandini, Maria %A Lygeros, John %A Sastry, Shankar %B CDC %D 2006 %I IEEE %K dblp %P 258-263 %T Probabilistic reachability and safe sets computation for discrete time stochastic hybrid systems. %U http://dblp.uni-trier.de/db/conf/cdc/cdc2006.html#AbateAPLS06 %@ 1-4244-0171-2

@inproceedings{conf/cdc/AbateAPLS06, added-at = {2022-12-07T00:00:00.000+0100}, author = {Abate, Alessandro and Amin, Saurabh and Prandini, Maria and Lygeros, John and Sastry, Shankar}, biburl = {https://www.bibsonomy.org/bibtex/2001d8c7a8a60e81a633acb5b60798e3f/dblp}, booktitle = {CDC}, crossref = {conf/cdc/2006}, ee = {https://doi.org/10.1109/CDC.2006.377091}, interhash = {e702dce08270b3064becbaa8320d2470}, intrahash = {001d8c7a8a60e81a633acb5b60798e3f}, isbn = {1-4244-0171-2}, keywords = {dblp}, pages = {258-263}, publisher = {IEEE}, timestamp = {2024-04-09T15:31:08.000+0200}, title = {Probabilistic reachability and safe sets computation for discrete time stochastic hybrid systems.}, url = {http://dblp.uni-trier.de/db/conf/cdc/cdc2006.html#AbateAPLS06}, year = 2006 }