%0 Conference Paper %1 conf/hybrid/CauchiLLAKC19 %A Cauchi, Nathalie %A Laurenti, Luca %A Lahijanian, Morteza %A Abate, Alessandro %A Kwiatkowska, Marta %A Cardelli, Luca %B HSCC %D 2019 %E Ozay, Necmiye %E Prabhakar, Pavithra %I ACM %K dblp %P 240-251 %T Efficiency through uncertainty: scalable formal synthesis for stochastic hybrid systems. %U http://dblp.uni-trier.de/db/conf/hybrid/hscc2019.html#CauchiLLAKC19 %@ 978-1-4503-6282-5

@inproceedings{conf/hybrid/CauchiLLAKC19, added-at = {2019-04-07T00:00:00.000+0200}, author = {Cauchi, Nathalie and Laurenti, Luca and Lahijanian, Morteza and Abate, Alessandro and Kwiatkowska, Marta and Cardelli, Luca}, biburl = {https://www.bibsonomy.org/bibtex/267fcc44547610ec9d47d6a38fd4ed766/dblp}, booktitle = {HSCC}, crossref = {conf/hybrid/2019}, editor = {Ozay, Necmiye and Prabhakar, Pavithra}, ee = {https://doi.org/10.1145/3302504.3311805}, interhash = {e4559095a96ea95774c415b0aac6e61f}, intrahash = {67fcc44547610ec9d47d6a38fd4ed766}, isbn = {978-1-4503-6282-5}, keywords = {dblp}, pages = {240-251}, publisher = {ACM}, timestamp = {2019-04-09T11:38:09.000+0200}, title = {Efficiency through uncertainty: scalable formal synthesis for stochastic hybrid systems.}, url = {http://dblp.uni-trier.de/db/conf/hybrid/hscc2019.html#CauchiLLAKC19}, year = 2019 }