{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:29:12Z","timestamp":1750220952137,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":20,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,4,15]],"date-time":"2019-04-15T00:00:00Z","timestamp":1555286400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2019,4,15]]},"DOI":"10.1145\/3313149.3313368","type":"proceedings-article","created":{"date-parts":[[2019,5,10]],"date-time":"2019-05-10T19:01:58Z","timestamp":1557514918000},"page":"12-15","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Achievements in correct-by-design control for stochastic systems"],"prefix":"10.1145","author":[{"given":"Sofie","family":"Haesaert","sequence":"first","affiliation":[{"name":"Eindhoven University of Technology, Eindhoven, The Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sadegh","family":"Soudjani","sequence":"additional","affiliation":[{"name":"University of Newcastle, Newcastle, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2019,4,15]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/242223.242257"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2003.09.013"},{"volume-title":"Proceedings of the 45th IEEE Conference on Decision and Control. 899--904","author":"Fainekos G. E.","key":"e_1_3_2_1_3_1","unstructured":"G. E. Fainekos , S. G. Loizou , and G. J. Pappas . 2006. Translating Temporal Logic to Controller Specifications . In Proceedings of the 45th IEEE Conference on Decision and Control. 899--904 . G. E. Fainekos, S. G. Loizou, and G. J. Pappas. 2006. Translating Temporal Logic to Controller Specifications. In Proceedings of the 45th IEEE Conference on Decision and Control. 899--904."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2008.09.016"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"crossref","unstructured":"S. Haesaert A. Abate and P. M. J. Van den Hof. 2016. Verification of General Markov Decision Processes by Approximate Similarity Relations and Policy Refinement. In QEST. 227--243.  S. Haesaert A. Abate and P. M. J. Van den Hof. 2016. Verification of General Markov Decision Processes by Approximate Similarity Relations and Policy Refinement. In QEST. 227--243.","DOI":"10.1007\/978-3-319-43425-4_16"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.peva.2017.09.005"},{"key":"e_1_3_2_1_7_1","volume-title":"6th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2018","volume":"51","author":"Haesaert S.","year":"2018","unstructured":"S. Haesaert , P. Nilsson , C.I. Vasile , Rohan Thakker , A. Agha-mohammadi, A.D. Ames , and R.M. Murray . 2018. Temporal logic control of POMDPs via label-based stochastic simulation relations . In 6th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2018 , Oxford, UK, July 11--13 , 2018 , Vol. 51 . 271--276. S. Haesaert, P. Nilsson, C.I. Vasile, Rohan Thakker, A. Agha-mohammadi, A.D. Ames, and R.M. Murray. 2018. Temporal logic control of POMDPs via label-based stochastic simulation relations. In 6th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2018, Oxford, UK, July 11--13, 2018, Vol. 51. 271--276."},{"key":"e_1_3_2_1_8_1","unstructured":"S. Haesaert and S. Soudjani. 2018. Robust Dynamic Programming for Temporal Logic Control of Stochastic Systems. CoRR abs\/1811.11445 (2018). arXiv:1811.11445 http:\/\/arxiv.org\/abs\/1811.11445  S. Haesaert and S. Soudjani. 2018. Robust Dynamic Programming for Temporal Logic Control of Stochastic Systems. CoRR abs\/1811.11445 (2018). arXiv:1811.11445 http:\/\/arxiv.org\/abs\/1811.11445"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1137\/16M1079397"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2018.08.013"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/3126508"},{"volume-title":"Automated Technology for Verification and Analysis, Shuvendu K","author":"Jagtap Pushpak","key":"e_1_3_2_1_12_1","unstructured":"Pushpak Jagtap , Sadegh Soudjani , and Majid Zamani . 2018. Temporal Logic Verification of Stochastic Systems Using Barrier Certificates . In Automated Technology for Verification and Analysis, Shuvendu K . Lahiri and Chao Wang (Eds.). Springer International Publishing , Cham , 177--193. Pushpak Jagtap, Sadegh Soudjani, and Majid Zamani. 2018. Temporal Logic Verification of Stochastic Systems Using Barrier Certificates. In Automated Technology for Verification and Analysis, Shuvendu K. Lahiri and Chao Wang (Eds.). Springer International Publishing, Cham, 177--193."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"crossref","unstructured":"A.A. Julius and G.J. Pappas. 2009. Approximations of stochastic hybrid systems. IEEE Trans. on Automatic Control (2009).  A.A. Julius and G.J. Pappas. 2009. Approximations of stochastic hybrid systems. IEEE Trans. on Automatic Control (2009).","DOI":"10.1109\/TAC.2009.2019791"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(91)90030-6"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2017.8264180"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2007.902736"},{"volume-title":"Logic in Computer Science, 1997. LICS'97. Proceedings., 12th Annual IEEE Symposium on. IEEE, 149--158","author":"Blute R.","key":"e_1_3_2_1_17_1","unstructured":"R. Blute , J. Desharnais , A. Edalat , and P. Panangaden . 1997. Bisimulation for labelled Markov processes . In Logic in Computer Science, 1997. LICS'97. Proceedings., 12th Annual IEEE Symposium on. IEEE, 149--158 . R.Blute, J. Desharnais, A. Edalat, and P. Panangaden. 1997. Bisimulation for labelled Markov processes. In Logic in Computer Science, 1997. LICS'97. Proceedings., 12th Annual IEEE Symposium on. IEEE, 149--158."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/QEST.2011.16"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00236-016-0287-9"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/2461328.2461373"}],"event":{"name":"CPS-IoT Week '19: Cyber-Physical Systems and Internet of Things Week 2019","acronym":"CPS-IoT Week '19","location":"Montreal Quebec Canada"},"container-title":["Proceedings of the Fifth International Workshop on Symbolic-Numeric methods for Reasoning about CPS and IoT"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3313149.3313368","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3313149.3313368","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:53:59Z","timestamp":1750204439000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3313149.3313368"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,4,15]]},"references-count":20,"alternative-id":["10.1145\/3313149.3313368","10.1145\/3313149"],"URL":"https:\/\/doi.org\/10.1145\/3313149.3313368","relation":{},"subject":[],"published":{"date-parts":[[2019,4,15]]},"assertion":[{"value":"2019-04-15","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}