{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,13]],"date-time":"2026-05-13T10:51:55Z","timestamp":1778669515768,"version":"3.51.4"},"publisher-location":"New York, NY, USA","reference-count":33,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,4,22]],"date-time":"2020-04-22T00:00:00Z","timestamp":1587513600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100001659","name":"Deutsche Forschungsgemeinschaft","doi-asserted-by":"publisher","award":["389792660-TRR 248"],"award-info":[{"award-number":["389792660-TRR 248"]}],"id":[{"id":"10.13039\/501100001659","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100011199","name":"European Research Council","doi-asserted-by":"publisher","award":["610150"],"award-info":[{"award-number":["610150"]}],"id":[{"id":"10.13039\/100011199","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,4,22]]},"DOI":"10.1145\/3365365.3382214","type":"proceedings-article","created":{"date-parts":[[2020,5,4]],"date-time":"2020-05-04T07:48:38Z","timestamp":1588578518000},"page":"1-11","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":18,"title":["Symbolic controller synthesis for B\u00fcchi specifications on stochastic systems"],"prefix":"10.1145","author":[{"given":"Rupak","family":"Majumdar","sequence":"first","affiliation":[{"name":"MPI-SWS, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kaushik","family":"Mallik","sequence":"additional","affiliation":[{"name":"MPI-SWS, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sadegh","family":"Soudjani","sequence":"additional","affiliation":[{"name":"Newcastle University, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2020,4,22]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Principles of Model Checking","author":"Baier C.","year":"2008","unstructured":"C. Baier and J.-P. Katoen . Principles of Model Checking . MIT Press , 2008 . C. Baier and J.-P. Katoen. Principles of Model Checking. MIT Press, 2008."},{"key":"e_1_3_2_1_2_1","volume-title":"Stochastic Optimal Control: The Discrete-Time Case","author":"Bertsekas D.","year":"1996","unstructured":"D. Bertsekas and S. Shreve . Stochastic Optimal Control: The Discrete-Time Case . Athena Scientific , 1996 . D. Bertsekas and S. Shreve. Stochastic Optimal Control: The Discrete-Time Case. Athena Scientific, 1996."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-60692-0_70"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/2728606.2728607"},{"issue":"2","key":"e_1_3_2_1_5_1","first-page":"128","article-title":"Reachability analysis for polynomial dynamical systems using the bernstein expansion","volume":"17","author":"Dang T.","year":"2012","unstructured":"T. Dang and R. Testylier . Reachability analysis for polynomial dynamical systems using the bernstein expansion . Reliable Computing , 17 ( 2 ): 128 -- 152 , 2012 . T. Dang and R. Testylier. Reachability analysis for polynomial dynamical systems using the bernstein expansion. Reliable Computing, 17(2):128--152, 2012.","journal-title":"Reliable Computing"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2000.855763"},{"key":"e_1_3_2_1_8_1","volume-title":"Specification-guided verification and abstraction refinement of mixed-monotone stochastic systems","author":"Dutreix M.","year":"2019","unstructured":"M. Dutreix and S. Coogan . Specification-guided verification and abstraction refinement of mixed-monotone stochastic systems , 2019 . M. Dutreix and S. Coogan. Specification-guided verification and abstraction refinement of mixed-monotone stochastic systems, 2019."},{"key":"e_1_3_2_1_9_1","volume-title":"Robust dynamic programming for temporal logic control of stochastic systems. CoRR, abs\/1811.11445","author":"Haesaert S.","year":"2018","unstructured":"S. Haesaert and S. Soudjani . Robust dynamic programming for temporal logic control of stochastic systems. CoRR, abs\/1811.11445 , 2018 . S. Haesaert and S. Soudjani. Robust dynamic programming for temporal logic control of stochastic systems. CoRR, abs\/1811.11445, 2018."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/2166.357214"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-0729-0"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/3178126.3178143"},{"key":"e_1_3_2_1_13_1","volume-title":"Formal synthesis of stochastic systems via control barrier certificates. arXiv: eess.SY, abs\/1905.04585","author":"Jagtap P.","year":"2019","unstructured":"P. Jagtap , S. Soudjani , and M. Zamani . Formal synthesis of stochastic systems via control barrier certificates. arXiv: eess.SY, abs\/1905.04585 , 2019 . P. Jagtap, S. Soudjani, and M. Zamani. Formal synthesis of stochastic systems via control barrier certificates. arXiv: eess.SY, abs\/1905.04585, 2019."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.5555\/3207692.3207699"},{"key":"e_1_3_2_1_15_1","volume-title":"B\u00fcchi objectives in countable MDPs. arXiv preprint arXiv:1904.11573","author":"Kiefer S.","year":"2019","unstructured":"S. Kiefer , R. Mayr , M. Shirmohammadi , and P. Totzke . B\u00fcchi objectives in countable MDPs. arXiv preprint arXiv:1904.11573 , 2019 . S. Kiefer, R. Mayr, M. Shirmohammadi, and P. Totzke. B\u00fcchi objectives in countable MDPs. arXiv preprint arXiv:1904.11573, 2019."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2017.8005100"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(82)90125-6"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2015.2398883"},{"issue":"125","key":"e_1_3_2_1_19_1","first-page":"137","article-title":"Compositional construction of infinite abstractions for networks of stochastic control systems","volume":"107","author":"Lavaei A.","year":"2019","unstructured":"A. Lavaei , S. Soudjani , and M. Zamani . Compositional construction of infinite abstractions for networks of stochastic control systems . Automatica , 107 : 125 -- 137 , 2019 . A. Lavaei, S. Soudjani, and M. Zamani. Compositional construction of infinite abstractions for networks of stochastic control systems. Automatica, 107:125 -- 137, 2019.","journal-title":"Automatica"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2016.2535128"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1016\/0378-4371(95)00251-2"},{"key":"e_1_3_2_1_22_1","volume-title":"Symbolic controller synthesis for b\u00fcchi specifications on stochastic systems. arXiv preprint arXiv:1910.12137","author":"Majumdar R.","year":"2019","unstructured":"R. Majumdar , K. Mallik , and S. Soudjani . Symbolic controller synthesis for b\u00fcchi specifications on stochastic systems. arXiv preprint arXiv:1910.12137 , 2019 . R. Majumdar, K. Mallik, and S. Soudjani. Symbolic controller synthesis for b\u00fcchi specifications on stochastic systems. arXiv preprint arXiv:1910.12137, 2019."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-017-0243-z"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICTTA.2006.1684472"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2016.2593947"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/2883817.2883834"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33386-6_32"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1137\/120871456"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00236-016-0287-9"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.5555\/1717907"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/2185632.2185666"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2013.09.032"},{"issue":"1","key":"e_1_3_2_1_34_1","first-page":"35","article-title":"Quantitative model-checking of controlled discrete-time Markov processes","volume":"253","author":"Tkachev I.","year":"2017","unstructured":"I. Tkachev , A. Mereacre , J.-P. Katoen , and A. Abate . Quantitative model-checking of controlled discrete-time Markov processes . Information and Computation , 253 : 1 -- 35 , 2017 . I. Tkachev, A. Mereacre, J.-P. Katoen, and A. Abate. Quantitative model-checking of controlled discrete-time Markov processes. Information and Computation, 253:1 -- 35, 2017.","journal-title":"Information and Computation"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/3178126.3178148"}],"event":{"name":"HSCC '20: 23rd ACM International Conference on Hybrid Systems: Computation and Control","location":"Sydney New South Wales Australia","acronym":"HSCC '20","sponsor":["SIGBED ACM Special Interest Group on Embedded Systems"]},"container-title":["Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3365365.3382214","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3365365.3382214","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T17:49:48Z","timestamp":1750268988000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3365365.3382214"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,4,22]]},"references-count":33,"alternative-id":["10.1145\/3365365.3382214","10.1145\/3365365"],"URL":"https:\/\/doi.org\/10.1145\/3365365.3382214","relation":{},"subject":[],"published":{"date-parts":[[2020,4,22]]},"assertion":[{"value":"2020-04-22","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}