{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,2]],"date-time":"2025-11-02T16:46:47Z","timestamp":1762102007257,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":41,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,4,13]],"date-time":"2017-04-13T00:00:00Z","timestamp":1492041600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Czech Grant Agency grants","award":["GA16-24707Y"],"award-info":[{"award-number":["GA16-24707Y"]}]},{"name":"EU-FET project QUANTICOL","award":["600708"],"award-info":[{"award-number":["600708"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2017,4,13]]},"DOI":"10.1145\/3049797.3049812","type":"proceedings-article","created":{"date-parts":[[2017,4,14]],"date-time":"2017-04-14T12:18:54Z","timestamp":1492172334000},"page":"55-64","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":9,"title":["Reachability Computation for Switching Diffusions"],"prefix":"10.1145","author":[{"given":"Luca","family":"Laurenti","sequence":"first","affiliation":[{"name":"University Of Oxford, Oxford, United Kingdom"}]},{"given":"Alessandro","family":"Abate","sequence":"additional","affiliation":[{"name":"University Of Oxford, Oxford, United Kingdom"}]},{"given":"Luca","family":"Bortolussi","sequence":"additional","affiliation":[{"name":"University of Trieste, Trieste, Italy"}]},{"given":"Luca","family":"Cardelli","sequence":"additional","affiliation":[{"name":"Microsoft Research & University of Oxford, Cambridge, United Kingdom"}]},{"given":"Milan","family":"Ceska","sequence":"additional","affiliation":[{"name":"Brno University of Technology, Brno, Czech Rep"}]},{"given":"Marta","family":"Kwiatkowska","sequence":"additional","affiliation":[{"name":"University Of Oxford, Oxford, United Kingdom"}]}],"member":"320","published-online":{"date-parts":[[2017,4,13]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2010.5717751"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.3166\/ejc.16.624-641"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2008.03.027"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1137\/1.9780898718980"},{"key":"e_1_3_2_1_5_1","volume-title":"Random fields and geometry","author":"Adler R. J.","year":"2009","unstructured":"R. J. Adler and J. E. Taylor . Random fields and geometry . Springer Science & Business Media , 2009 . R. J. Adler and J. E. Taylor. Random fields and geometry. Springer Science & Business Media, 2009."},{"key":"e_1_3_2_1_6_1","volume-title":"Ergodic Control of Diffusion Processes","author":"Arapostathis A.","year":"2012","unstructured":"A. Arapostathis , V. Borkar , and M. Ghosh . Ergodic Control of Diffusion Processes . Cambridge University Press , 2012 . A. Arapostathis, V. Borkar, and M. Ghosh. Ergodic Control of Diffusion Processes. Cambridge University Press, 2012."},{"key":"e_1_3_2_1_7_1","volume-title":"Stochastic differential equations","author":"Arnold L.","year":"1974","unstructured":"L. Arnold . Stochastic differential equations . New York , 1974 . L. Arnold. Stochastic differential equations. New York, 1974."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/343369.343402"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198538493.001.0001","volume-title":"Neural networks for pattern recognition","author":"Bishop C. M.","year":"1995","unstructured":"C. M. Bishop . Neural networks for pattern recognition . Oxford university press , 1995 . C. M. Bishop. Neural networks for pattern recognition. Oxford university press, 1995."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"crossref","DOI":"10.1007\/11587392","volume-title":"Stochastic Hybrid Systems: Theory and Safety Critical Applications. Number 337 in Lecture Notes in Control and Information Sciences","author":"Blom H.","year":"2006","unstructured":"H. Blom and J. Lygeros (Eds.). Stochastic Hybrid Systems: Theory and Safety Critical Applications. Number 337 in Lecture Notes in Control and Information Sciences . Springer Verlag , Berlin Heidelberg , 2006 . H. Blom and J. Lygeros (Eds.). Stochastic Hybrid Systems: Theory and Safety Critical Applications. Number 337 in Lecture Notes in Control and Information Sciences. Springer Verlag, Berlin Heidelberg, 2006."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-43425-4_5"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-40196-1_9"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4471-2795-6","volume-title":"Stochastic Reachability Analysis of Hybrid Systems","author":"Bujorianu L.","year":"2012","unstructured":"L. Bujorianu . Stochastic Reachability Analysis of Hybrid Systems . Springer-Verlag , London , 2012 . L. Bujorianu. Stochastic Reachability Analysis of Hybrid Systems. Springer-Verlag, London, 2012."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-2795-6"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-28891-3_39"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-23401-4_7"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-45177-0_10"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"crossref","DOI":"10.1201\/9781420008548","volume-title":"Stochastic Hybrid Systems. Number 24 in Control Engineering","author":"Cassandras C.","year":"2006","unstructured":"C. Cassandras and J. Lygeros (Eds.). Stochastic Hybrid Systems. Number 24 in Control Engineering . CRC Press , Boca Raton , 2006 . C. Cassandras and J. Lygeros (Eds.). Stochastic Hybrid Systems. Number 24 in Control Engineering. CRC Press, Boca Raton, 2006."},{"key":"e_1_3_2_1_19_1","volume-title":"Springer Science & Business Media","author":"Daley D. J.","year":"2007","unstructured":"D. J. Daley and D. Vere-Jones . An introduction to the theory of point processes: volume II: general theory and structure . Springer Science & Business Media , 2007 . D. J. Daley and D. Vere-Jones. An introduction to the theory of point processes: volume II: general theory and structure. Springer Science & Business Media, 2007."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4899-4483-2"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1016\/0022-1236(67)90017-1"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2016.03.016"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1137\/120871456"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/1967701.1967710"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78929-1_13"},{"key":"e_1_3_2_1_26_1","volume-title":"Handbook of stochastic methods","author":"Gardiner C. W.","year":"1985","unstructured":"C. W. Gardiner Handbook of stochastic methods , volume 3 . Springer-Verlag , 1985 . C. W. Gardiner et al. Handbook of stochastic methods, volume 3. Springer-Verlag, 1985."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1137\/0331056"},{"key":"e_1_3_2_1_28_1","volume-title":"Numerical Solution of Stochastic Differential Equations","author":"Kloeden P. E.","year":"2011","unstructured":"P. E. Kloeden and E. Platen . Numerical Solution of Stochastic Differential Equations . Springer Science & Business Media , 2011 . P. E. Kloeden and E. Platen. Numerical Solution of Stochastic Differential Equations. Springer Science & Business Media, 2011."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1007\/11730637_29"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4613-0007-6"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-72522-0_6"},{"key":"e_1_3_2_1_32_1","volume-title":"Springer","author":"Massart P.","year":"2007","unstructured":"P. Massart . Concentration inequalities and model selection, volume 6 . Springer , 2007 . P. Massart. Concentration inequalities and model selection, volume 6. Springer, 2007."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14394-6"},{"key":"e_1_3_2_1_34_1","series-title":"Automation and Control Engineering Series 24","first-page":"107","volume-title":"Stochastic hybrid systems","author":"Prandini M.","year":"2006","unstructured":"M. Prandini and J. Hu . Stochastic reachability: Theory and numerical approximation . In C. Cassandras and J. Lygeros, editors, Stochastic hybrid systems , Automation and Control Engineering Series 24 , pages 107 -- 138 . Taylor & Francis Group\/CRC Press , 2006 . M. Prandini and J. Hu. Stochastic reachability: Theory and numerical approximation. In C. Cassandras and J. Lygeros, editors, Stochastic hybrid systems, Automation and Control Engineering Series 24, pages 107--138. Taylor & Francis Group\/CRC Press, 2006."},{"key":"e_1_3_2_1_35_1","volume-title":"Recursive Bayesian inference on stochastic differential equations","author":"Sarkka S.","year":"2006","unstructured":"S. Sarkka Recursive Bayesian inference on stochastic differential equations . Helsinki University of Technology , 2006 . S. Sarkka et al. Recursive Bayesian inference on stochastic differential equations. Helsinki University of Technology, 2006."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/2461328.2461373"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/2728606.2728627"},{"key":"e_1_3_2_1_38_1","volume-title":"Hybrid switching diffusions: properties and applications","author":"Yin G. G.","year":"2009","unstructured":"G. G. Yin and C. Zhu . Hybrid switching diffusions: properties and applications , volume 63 . Springer Science & Business Media , 2009 . G. G. Yin and C. Zhu. Hybrid switching diffusions: properties and applications, volume 63. Springer Science & Business Media, 2009."},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysconle.2014.04.003"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2014.2351652"},{"key":"e_1_3_2_1_41_1","first-page":"196","volume-title":"Safety Verification for Probabilistic Hybrid Systems","author":"Zhang L.","year":"2010","unstructured":"L. Zhang , Z. She , S. Ratschan , H. Hermanns , and E. M. Hahn . Safety Verification for Probabilistic Hybrid Systems , pages 196 -- 211 . Springer Berlin Heidelberg , Berlin, Heidelberg , 2010 . L. Zhang, Z. She, S. Ratschan, H. Hermanns, and E. M. Hahn. Safety Verification for Probabilistic Hybrid Systems, pages 196--211. Springer Berlin Heidelberg, Berlin, Heidelberg, 2010."}],"event":{"name":"HSCC '17: 20th International Conference on Hybrid Systems: Computation and Control","sponsor":["SIGBED ACM Special Interest Group on Embedded Systems"],"location":"Pittsburgh Pennsylvania USA","acronym":"HSCC '17"},"container-title":["Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3049797.3049812","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3049797.3049812","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T03:36:26Z","timestamp":1750217786000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3049797.3049812"}},"subtitle":["Finite Abstractions with Certifiable and Tuneable Precision"],"short-title":[],"issued":{"date-parts":[[2017,4,13]]},"references-count":41,"alternative-id":["10.1145\/3049797.3049812","10.1145\/3049797"],"URL":"https:\/\/doi.org\/10.1145\/3049797.3049812","relation":{},"subject":[],"published":{"date-parts":[[2017,4,13]]},"assertion":[{"value":"2017-04-13","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}