%0 Conference Paper %1 conf/hybrid/LiuO14 %A Liu, Jun %A Ozay, Necmiye %B HSCC %D 2014 %E Fränzle, Martin %E Lygeros, John %I ACM %K dblp %P 293-302 %T Abstraction, discretization, and robustness in temporal logic control of dynamical systems. %U http://dblp.uni-trier.de/db/conf/hybrid/hscc2014.html#LiuO14 %@ 978-1-4503-2732-9

@inproceedings{conf/hybrid/LiuO14, added-at = {2018-11-06T00:00:00.000+0100}, author = {Liu, Jun and Ozay, Necmiye}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/20afd9365ff58f6d67862424cb7a5e0ff/dblp}, booktitle = {HSCC}, crossref = {conf/hybrid/2014}, editor = {Fränzle, Martin and Lygeros, John}, ee = {https://doi.org/10.1145/2562059.2562137}, interhash = {6eb28c478972cf9c6b327e1a4b303c81}, intrahash = {0afd9365ff58f6d67862424cb7a5e0ff}, isbn = {978-1-4503-2732-9}, keywords = {dblp}, pages = {293-302}, publisher = {ACM}, timestamp = {2019-09-27T21:21:40.000+0200}, title = {Abstraction, discretization, and robustness in temporal logic control of dynamical systems.}, url = {http://dblp.uni-trier.de/db/conf/hybrid/hscc2014.html#LiuO14}, year = 2014 }