{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,31]],"date-time":"2026-01-31T04:00:35Z","timestamp":1769832035405,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":23,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,4,16]],"date-time":"2019-04-16T00:00:00Z","timestamp":1555372800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100000266","name":"Engineering and Physical Sciences Research Council","doi-asserted-by":"publisher","award":["EP\/M019918\/1"],"award-info":[{"award-number":["EP\/M019918\/1"]}],"id":[{"id":"10.13039\/501100000266","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100007862","name":"Royal Scientific Society","doi-asserted-by":"publisher","award":["RP120138"],"award-info":[{"award-number":["RP120138"]}],"id":[{"id":"10.13039\/501100007862","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2019,4,16]]},"DOI":"10.1145\/3302504.3311805","type":"proceedings-article","created":{"date-parts":[[2019,4,8]],"date-time":"2019-04-08T13:37:58Z","timestamp":1554730678000},"page":"240-251","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":34,"title":["Efficiency through uncertainty"],"prefix":"10.1145","author":[{"given":"Nathalie","family":"Cauchi","sequence":"first","affiliation":[{"name":"University of Oxford, Oxford, UK"}]},{"given":"Luca","family":"Laurenti","sequence":"additional","affiliation":[{"name":"University of Oxford, Oxford, UK"}]},{"given":"Morteza","family":"Lahijanian","sequence":"additional","affiliation":[{"name":"University of Colorado Boulder"}]},{"given":"Alessandro","family":"Abate","sequence":"additional","affiliation":[{"name":"University of Oxford, Oxford, UK"}]},{"given":"Marta","family":"Kwiatkowska","sequence":"additional","affiliation":[{"name":"University of Oxford, Oxford, UK"}]},{"given":"Luca","family":"Cardelli","sequence":"additional","affiliation":[{"name":"University of Oxford, Cambridge, UK"}]}],"member":"320","published-online":{"date-parts":[[2019,4,16]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2008.03.027"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.spl.2014.01.009"},{"key":"e_1_3_2_1_3_1","unstructured":"Christel Baier Joost-Pieter Katoen etal 2008. Principles of model checking. Vol. 26202649. MIT press Cambridge.  Christel Baier Joost-Pieter Katoen et al. 2008. Principles of model checking. Vol. 26202649. MIT press Cambridge."},{"key":"e_1_3_2_1_4_1","volume-title":"Constrained optimization and Lagrange multiplier methods","author":"Bertsekas Dimitri P","unstructured":"Dimitri P Bertsekas . 2014. Constrained optimization and Lagrange multiplier methods . Academic press . Dimitri P Bertsekas. 2014. Constrained optimization and Lagrange multiplier methods. Academic press."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"crossref","unstructured":"H.A.P.\n      Blom\n     and \n      J.\n      Lygeros\n   (Eds.). \n  2006\n  . Stochastic Hybrid Systems: \n  Theory\n   and Safety Critical Applications. Number 337 in \n  Lecture Notes in Control and Information Sciences\n  . \n  Springer Verlag Berlin Heidelberg.  H.A.P. Blom and J. Lygeros (Eds.). 2006. Stochastic Hybrid Systems: Theory and Safety Critical Applications. Number 337 in Lecture Notes in Control and Information Sciences. Springer Verlag Berlin Heidelberg.","DOI":"10.1007\/11587392"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-45177-0_10"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"crossref","unstructured":"C.G. Cassandras and J. Lygeros (Eds.). 2006. Stochastic Hybrid Systems. Number 24 in Control Engineering. CRC Press Boca Raton.  C.G. Cassandras and J. Lygeros (Eds.). 2006. Stochastic Hybrid Systems. Number 24 in Control Engineering. CRC Press Boca Raton.","DOI":"10.1201\/9781420008548"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1137\/120871456"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-46681-0_23"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(00)00047-3"},{"key":"e_1_3_2_1_11_1","volume-title":"Convex polytopes","author":"Gr\u00fcnbaum Branko","unstructured":"Branko Gr\u00fcnbaum , Victor Klee , Micha A Perles , and Geoffrey Colin Shephard . 1967. Convex polytopes . Vol. 16 . Springer . Branko Gr\u00fcnbaum, Victor Klee, Micha A Perles, and Geoffrey Colin Shephard. 1967. Convex polytopes. Vol. 16. Springer."},{"key":"e_1_3_2_1_12_1","volume-title":"Multi-objective Robust Strategy Synthesis for Interval Markov Decision Processes. In Int. Conf. on Quantitative Evaluation of SysTems (QEST). Springer","author":"Hahn Ernst Moritz","year":"2017","unstructured":"Ernst Moritz Hahn , Vahid Hashemi , Holger Hermanns , Morteza Lahijanian , and Andrea Turrini . 2017 . Multi-objective Robust Strategy Synthesis for Interval Markov Decision Processes. In Int. Conf. on Quantitative Evaluation of SysTems (QEST). Springer , Berlin, Germany, 207--223. Ernst Moritz Hahn, Vahid Hashemi, Holger Hermanns, Morteza Lahijanian, and Andrea Turrini. 2017. Multi-objective Robust Strategy Synthesis for Interval Markov Decision Processes. In Int. Conf. on Quantitative Evaluation of SysTems (QEST). Springer, Berlin, Germany, 207--223."},{"key":"e_1_3_2_1_13_1","volume-title":"Optimal Multi-Valued LTL Planning for Systems with Access Right Levels. In 2018 Annual American Control Conf. (ACC). IEEE, 2363--2370","author":"Hekmatnejad Mohammad","year":"2018","unstructured":"Mohammad Hekmatnejad and Georgios Fainekos . 2018 . Optimal Multi-Valued LTL Planning for Systems with Access Right Levels. In 2018 Annual American Control Conf. (ACC). IEEE, 2363--2370 . Mohammad Hekmatnejad and Georgios Fainekos. 2018. Optimal Multi-Valued LTL Planning for Systems with Access Right Levels. In 2018 Annual American Control Conf. (ACC). IEEE, 2363--2370."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-03845-7_15"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1011254632723"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2012.6426184"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2015.2398883"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/3049797.3049812"},{"key":"e_1_3_2_1_19_1","volume-title":"Kavraki","author":"Luna Ryan","year":"2014","unstructured":"Ryan Luna , Morteza Lahijanian , Mark Moll , and Lydia E . Kavraki . 2014 . Asymptotically Optimal Stochastic Motion Planning with Temporal Goals. In Int'l Workshop on the Algorithmic Foundations of Robotics (WAFR). Istanbul, Turkey , 335--352. Ryan Luna, Morteza Lahijanian, Mark Moll, and Lydia E. Kavraki. 2014. Asymptotically Optimal Stochastic Motion Planning with Temporal Goals. In Int'l Workshop on the Algorithmic Foundations of Robotics (WAFR). Istanbul, Turkey, 335--352."},{"key":"e_1_3_2_1_20_1","first-page":"301","article-title":"Logarithmic concave measures with application to stochastic programming","volume":"32","author":"Pr\u00e9kopa Andr\u00e1s","year":"1971","unstructured":"Andr\u00e1s Pr\u00e9kopa . 1971 . Logarithmic concave measures with application to stochastic programming . Acta Scientiarum Mathematicarum 32 (1971), 301 -- 316 . Andr\u00e1s Pr\u00e9kopa. 1971. Logarithmic concave measures with application to stochastic programming. Acta Scientiarum Mathematicarum 32 (1971), 301--316.","journal-title":"Acta Scientiarum Mathematicarum"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/3049797.3049818"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2007.12.002"},{"key":"e_1_3_2_1_23_1","volume-title":"Hybrid switching diffusions: properties and applications","author":"Yin George","unstructured":"George Yin and Chao Zhu . 2010. Hybrid switching diffusions: properties and applications . Vol. 63 . Springer New York . George Yin and Chao Zhu. 2010. Hybrid switching diffusions: properties and applications. Vol. 63. Springer New York."}],"event":{"name":"HSCC '19: 22nd ACM International Conference on Hybrid Systems: Computation and Control","location":"Montreal Quebec Canada","acronym":"HSCC '19","sponsor":["SIGBED ACM Special Interest Group on Embedded Systems"]},"container-title":["Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3302504.3311805","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3302504.3311805","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T00:25:37Z","timestamp":1750206337000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3302504.3311805"}},"subtitle":["scalable formal synthesis for stochastic hybrid systems"],"short-title":[],"issued":{"date-parts":[[2019,4,16]]},"references-count":23,"alternative-id":["10.1145\/3302504.3311805","10.1145\/3302504"],"URL":"https:\/\/doi.org\/10.1145\/3302504.3311805","relation":{},"subject":[],"published":{"date-parts":[[2019,4,16]]},"assertion":[{"value":"2019-04-16","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}