%0 Conference Paper %1 conf/hybrid/SvorenovaKCCCB15 %A Svorenová, María %A Kretínský, Jan %A Chmelik, Martin %A Chatterjee, Krishnendu %A Cerná, Ivana %A Belta, Calin %B HSCC %D 2015 %E Girard, Antoine %E Sankaranarayanan, Sriram %I ACM %K dblp %P 259-268 %T Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games. %U http://dblp.uni-trier.de/db/conf/hybrid/hscc2015.html#SvorenovaKCCCB15 %@ 978-1-4503-3433-4

@inproceedings{conf/hybrid/SvorenovaKCCCB15, added-at = {2018-11-06T00:00:00.000+0100}, author = {Svorenová, María and Kretínský, Jan and Chmelik, Martin and Chatterjee, Krishnendu and Cerná, Ivana and Belta, Calin}, biburl = {https://www.bibsonomy.org/bibtex/23b2b262d73f4f59e346ed962f8ccde1b/dblp}, booktitle = {HSCC}, crossref = {conf/hybrid/2015}, editor = {Girard, Antoine and Sankaranarayanan, Sriram}, ee = {https://doi.org/10.1145/2728606.2728608}, interhash = {0f7ac07267b99211235f1d87c0397cf1}, intrahash = {3b2b262d73f4f59e346ed962f8ccde1b}, isbn = {978-1-4503-3433-4}, keywords = {dblp}, pages = {259-268}, publisher = {ACM}, timestamp = {2019-09-07T11:41:00.000+0200}, title = {Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games.}, url = {http://dblp.uni-trier.de/db/conf/hybrid/hscc2015.html#SvorenovaKCCCB15}, year = 2015 }