{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,27]],"date-time":"2026-05-27T15:04:37Z","timestamp":1779894277744,"version":"3.53.1"},"publisher-location":"New York, NY, USA","reference-count":41,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,5,9]],"date-time":"2023-05-09T00:00:00Z","timestamp":1683590400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by-nc\/4.0\/"}],"funder":[{"DOI":"10.13039\/501100003246","name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek","doi-asserted-by":"publisher","award":["18244"],"award-info":[{"award-number":["18244"]}],"id":[{"id":"10.13039\/501100003246","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100018703","name":"HORIZON EUROPE European Innovation Council","doi-asserted-by":"publisher","award":["101070802"],"award-info":[{"award-number":["101070802"]}],"id":[{"id":"10.13039\/100018703","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100000266","name":"Engineering and Physical Sciences Research Council","doi-asserted-by":"publisher","award":["EP\/V043676\/1"],"award-info":[{"award-number":["EP\/V043676\/1"]}],"id":[{"id":"10.13039\/501100000266","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,5,9]]},"DOI":"10.1145\/3575870.3587123","type":"proceedings-article","created":{"date-parts":[[2023,5,8]],"date-time":"2023-05-08T22:42:27Z","timestamp":1683585747000},"page":"1-11","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":11,"title":["SySCoRe: Synthesis via Stochastic Coupling Relations"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-1164-0508","authenticated-orcid":false,"given":"Birgit","family":"Van Huijgevoort","sequence":"first","affiliation":[{"name":"Electrical Engineering, Eindhoven University of Technology, Netherlands"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0214-6455","authenticated-orcid":false,"given":"Oliver","family":"Sch\u00f6n","sequence":"additional","affiliation":[{"name":"Newcastle University, United Kingdom"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1922-6678","authenticated-orcid":false,"given":"Sadegh","family":"Soudjani","sequence":"additional","affiliation":[{"name":"Newcastle University, United Kingdom and Max Planck institute for software systems, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4749-4688","authenticated-orcid":false,"given":"Sofie","family":"Haesaert","sequence":"additional","affiliation":[{"name":"Electrical Engineering, Eindhoven University of Technology, Netherlands"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2023,5,9]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"ARCH-COMP21 Category Report: Stochastic Models. In 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21)","author":"Abate Alessandro","year":"2021","unstructured":"Alessandro Abate, Henk Blom, Marc Bouissou, Nathalie Cauchi, Hassane Chraibi, Joanna Delicaris, Sofie Haesaert, Arnd Hartmanns, Mahmoud Khaled, Abolfazl Lavaei, Hao Ma, Kaushik Mallik, Mathis Niehage, Anne Remke, Stefan Schupp, Fedor Shmarov, Sadegh Soudjani, Adam Thorpe, Vlad Turcuman, and Paolo Zuliani. 2021. ARCH-COMP21 Category Report: Stochastic Models. In 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21)(EPiC Series in Computing, Vol.\u00a080). EasyChair, 55\u201389."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"crossref","unstructured":"Alessandro Abate Henk Blom Nathalie Cauchi Joanna Delicaris Arnd Hartmanns Mahmoud Khaled Abolfazl Lavaei Carina Pilch Anne Remke Stefan Schupp 2020. ARCH-COMP20 Category Report: Stochastic Models.. In ARCH. 76\u2013106.","DOI":"10.29007\/mqzc"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.29007\/7ks7"},{"key":"e_1_3_2_1_4_1","unstructured":"Alessandro Abate Henk Blom Joanna Delicaris Sofie Haesaert Arnd Hartmanns Birgit\u00a0Van Huijgevoort Abolfazl Lavaei Hao Ma Mathis Niehage Anne Remke Oliver Sch\u00f6n Stefan Schupp Sadegh Soudjani and Lisa Willemsen. 2022. ARCH-COMP22 Category Report: Stochastic Models. (2022)."},{"key":"e_1_3_2_1_5_1","volume-title":"Construction of equivalent stochastic differential equation models. Stochastic analysis and applications 26, 2","author":"Allen J","year":"2008","unstructured":"Edward\u00a0J Allen, Linda\u00a0JS Allen, Armando Arciniega, and Priscilla\u00a0E Greenwood. 2008. Construction of equivalent stochastic differential equation models. Stochastic analysis and applications 26, 2 (2008), 274\u2013297."},{"key":"e_1_3_2_1_6_1","volume-title":"Principles of cyber-physical systems","author":"Alur Rajeev","unstructured":"Rajeev Alur. 2015. Principles of cyber-physical systems. MIT press."},{"key":"e_1_3_2_1_7_1","volume-title":"Version 4","author":"Mosek","year":"2019","unstructured":"Mosek ApS. 2019. Mosek optimization toolbox for matlab. User\u2019s Guide and Reference Manual, Version 4 (2019)."},{"key":"e_1_3_2_1_8_1","volume-title":"Principles of Model Checking","author":"Baier C.","unstructured":"C. Baier and J.-P. Katoen. 2008. Principles of Model Checking. MIT Press."},{"key":"e_1_3_2_1_9_1","volume-title":"Formal methods for discrete-time dynamical systems. Vol.\u00a015","author":"Belta Calin","unstructured":"Calin Belta, Boyan Yordanov, and Ebru\u00a0Aydin Gol. 2017. Formal methods for discrete-time dynamical systems. Vol.\u00a015. Springer."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2018.08.009"},{"key":"e_1_3_2_1_11_1","volume-title":"Proc. of the 22nd ACM International Conference on Hybrid Systems: Computation and Control","author":"Cauchi N.","year":"2019","unstructured":"N. Cauchi and A. Abate. 2019. StocHy-automated verification and synthesis of stochastic processes. Proc. of the 22nd ACM International Conference on Hybrid Systems: Computation and Control (2019), 258\u2013259."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44585-4_6"},{"key":"e_1_3_2_1_13_1","unstructured":"S. Haesaert and S. Soudjani. 2020. Robust dynamic programming for temporal logic control of stochastic systems. IEEE TAC (2020)."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1137\/16M1079397"},{"key":"e_1_3_2_1_15_1","volume-title":"20th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)(Lecture Notes in Computer Science, Vol.\u00a08413)","author":"Hartmanns Arnd","unstructured":"Arnd Hartmanns and Holger Hermanns. 2014. The Modest Toolset: An Integrated Environment for Quantitative Modelling and Verification. In 20th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)(Lecture Notes in Computer Science, Vol.\u00a08413). Springer, 593\u2013598."},{"key":"e_1_3_2_1_16_1","volume-title":"Multi-parametric toolbox 3.0. In 2013 European control conference (ECC)","author":"Herceg Martin","unstructured":"Martin Herceg, Michal Kvasnica, Colin\u00a0N Jones, and Manfred Morari. 2013. Multi-parametric toolbox 3.0. In 2013 European control conference (ECC). IEEE, 502\u2013510. http:\/\/control.ee.ethz.ch\/\u00a0mpt."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-55754-6_22"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2020.3013916"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/3447928.3456703"},{"key":"e_1_3_2_1_20_1","volume-title":"Model checking of safety properties. Formal methods in system design 19, 3","author":"Kupferman Orna","year":"2001","unstructured":"Orna Kupferman and Moshe\u00a0Y Vardi. 2001. Model checking of safety properties. Formal methods in system design 19, 3 (2001), 291\u2013314."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-46029-2_13"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/CACSD.2002.1036966"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-53291-8_24"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2022.110617"},{"key":"e_1_3_2_1_25_1","volume-title":"Introduction to embedded systems: A cyber-physical systems approach","author":"Lee Edward\u00a0Ashford","unstructured":"Edward\u00a0Ashford Lee and Sanjit\u00a0Arunkumar Seshia. 2016. Introduction to embedded systems: A cyber-physical systems approach. MIT Press."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/CACSD.2004.1393890"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/3365365.3382214"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"crossref","unstructured":"Petter Nilsson Sofie Haesaert Rohan Thakker Kyohei Otsu Cristian-Ioan Vasile Ali-Akbar Agha-Mohammadi Richard\u00a0M Murray and Aaron\u00a0D Ames. 2018. Toward specification-guided active mars exploration for cooperative robot teams. (2018).","DOI":"10.15607\/RSS.2018.XIV.047"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.1980.1102434"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/3150928.3150956"},{"key":"e_1_3_2_1_31_1","volume-title":"Finite automata and their decision problems. IBM journal of research and development 3, 2","author":"Rabin O","year":"1959","unstructured":"Michael\u00a0O Rabin and Dana Scott. 1959. Finite automata and their decision problems. IBM journal of research and development 3, 2 (1959), 114\u2013125."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/2883817.2883834"},{"key":"e_1_3_2_1_33_1","volume-title":"Correct-by-Design Control of Parametric Stochastic Systems. In 2022 IEEE 61st Conference on Decision and Control (CDC). IEEE, 5580\u20135587","author":"Sch\u00f6n Oliver","year":"2022","unstructured":"Oliver Sch\u00f6n, Birgit van Huijgevoort, Sofie Haesaert, and Sadegh Soudjani. 2022. Correct-by-Design Control of Parametric Stochastic Systems. In 2022 IEEE 61st Conference on Decision and Control (CDC). IEEE, 5580\u20135587."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"crossref","unstructured":"Fedor Shmarov and Paolo Zuliani. 2015. ProbReach: Verified Probabilistic \u03b4 -Reachability for Stochastic Hybrid Systems. In HSCC. ACM 134\u2013139.","DOI":"10.1145\/2728606.2728625"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2013.2273300"},{"key":"e_1_3_2_1_36_1","volume-title":"International conference on tools and algorithms for the construction and analysis of systems. Springer, 272\u2013286","author":"Soudjani Sadegh","year":"2015","unstructured":"Sadegh Soudjani, Caspar Gevaerts, and Alessandro Abate. 2015. FAUST2 Formal Abstractions of Uncountable-STate STochastic Processes. In International conference on tools and algorithms for the construction and analysis of systems. Springer, 272\u2013286."},{"key":"e_1_3_2_1_37_1","volume-title":"Verification and control of hybrid systems: a symbolic approach","author":"Tabuada Paulo","unstructured":"Paulo Tabuada. 2009. Verification and control of hybrid systems: a symbolic approach. Springer Science & Business Media."},{"key":"e_1_3_2_1_38_1","volume-title":"SReachTools Kernel Module: Data-Driven Stochastic Reachability Using Hilbert Space Embeddings of Distributions. In 2021 60th IEEE Conference on Decision and Control (CDC). IEEE, 5073\u20135079","author":"Thorpe J","year":"2021","unstructured":"Adam\u00a0J Thorpe, Kendric\u00a0R Ortiz, and Meeko\u00a0MK Oishi. 2021. SReachTools Kernel Module: Data-Driven Stochastic Reachability Using Hilbert Space Embeddings of Distributions. In 2021 60th IEEE Conference on Decision and Control (CDC). IEEE, 5073\u20135079."},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2022.110476"},{"key":"e_1_3_2_1_40_1","volume-title":"Temporal logic control of nonlinear stochastic systems using a piecewise-affine abstraction","author":"van Huijgevoort C","year":"2022","unstructured":"Birgit\u00a0C van Huijgevoort, Siep Weiland, and Sofie Haesaert. 2022. Temporal logic control of nonlinear stochastic systems using a piecewise-affine abstraction. IEEE Control Systems Letters (2022)."},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/3302504.3311809"}],"event":{"name":"HSCC '23: 26th ACM International Conference on Hybrid Systems: Computation and Control","location":"San Antonio TX USA","acronym":"HSCC '23","sponsor":["SIGBED ACM Special Interest Group on Embedded Systems"]},"container-title":["Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3575870.3587123","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3575870.3587123","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T16:46:12Z","timestamp":1750178772000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3575870.3587123"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,5,9]]},"references-count":41,"alternative-id":["10.1145\/3575870.3587123","10.1145\/3575870"],"URL":"https:\/\/doi.org\/10.1145\/3575870.3587123","relation":{},"subject":[],"published":{"date-parts":[[2023,5,9]]},"assertion":[{"value":"2023-05-09","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}