{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,29]],"date-time":"2026-10-29T15:56:06Z","timestamp":1793289366726,"version":"4.5.0"},"publisher-location":"New York, NY, USA","reference-count":40,"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\/4.0\/"}],"funder":[{"name":"ERC","award":["ERC- 2017-STG #75595"],"award-info":[{"award-number":["ERC- 2017-STG #75595"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,5,9]]},"DOI":"10.1145\/3575870.3587127","type":"proceedings-article","created":{"date-parts":[[2023,5,8]],"date-time":"2023-05-08T22:42:27Z","timestamp":1683585747000},"page":"1-10","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":7,"title":["Distributionally Robust Strategy Synthesis for Switched Stochastic Systems"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0004-0693-6085","authenticated-orcid":false,"given":"Ib\u00f3n","family":"Gracia","sequence":"first","affiliation":[{"name":"University of Colorado Boulder, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0287-9197","authenticated-orcid":false,"given":"Dimitris","family":"Boskos","sequence":"additional","affiliation":[{"name":"Technische Universiteit Delft, Netherlands"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1190-6097","authenticated-orcid":false,"given":"Luca","family":"Laurenti","sequence":"additional","affiliation":[{"name":"Technische Universiteit Delft, Netherlands"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5638-5283","authenticated-orcid":false,"given":"Manuel","family":"Mazo Jr","sequence":"additional","affiliation":[{"name":"Technische Universiteit Delft, Netherlands"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2023,5,9]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2022.3178143"},{"key":"e_1_3_2_1_2_1","volume-title":"Formal methods for discrete-time dynamical systems. Vol.\u00a089","author":"Belta Calin","unstructured":"Calin Belta, Boyan Yordanov, and Ebru\u00a0Aydin Gol. 2017. Formal methods for discrete-time dynamical systems. Vol.\u00a089. Springer."},{"key":"e_1_3_2_1_3_1","unstructured":"Dimitir\u00a0P Bertsekas and Steven Shreve. 2004. Stochastic optimal control: the discrete-time case."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1287\/moor.2018.0936"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1287\/moor.2021.1178"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.23919\/ACC45564.2020.9147334"},{"key":"e_1_3_2_1_7_1","volume-title":"Stochastic switching systems: analysis and design","author":"Boukas El-K\u00e9bir","unstructured":"El-K\u00e9bir Boukas. 2007. Stochastic switching systems: analysis and design. Springer Science & Business Media."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10957-006-9084-x"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/3302504.3311805"},{"key":"e_1_3_2_1_10_1","volume-title":"International Conference on Machine Learning. PMLR","author":"Clement Julien\u00a0Grand","year":"2021","unstructured":"Julien\u00a0Grand Clement and Christian Kroer. 2021. First-order methods for Wasserstein distributionally robust MDP. In International Conference on Machine Learning. PMLR, 2010\u20132019."},{"key":"e_1_3_2_1_11_1","volume-title":"Distributionally robust optimization under moment uncertainty with application to data-driven problems. Operations research 58, 3","author":"Delage Erick","year":"2010","unstructured":"Erick Delage and Yinyu Ye. 2010. Distributionally robust optimization under moment uncertainty with application to data-driven problems. Operations research 58, 3 (2010), 595\u2013612."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2020.3014142"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.nahs.2022.101204"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00440-014-0583-7"},{"key":"e_1_3_2_1_15_1","volume-title":"Distributionally robust stochastic optimization with Wasserstein distance. Mathematics of Operations Research","author":"Gao Rui","year":"2022","unstructured":"Rui Gao and Anton Kleywegt. 2022. Distributionally robust stochastic optimization with Wasserstein distance. Mathematics of Operations Research (2022)."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(00)00047-3"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.peva.2017.09.005"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2021.3106827"},{"key":"e_1_3_2_1_19_1","volume-title":"Formal verification of unknown dynamical systems via Gaussian process regression. arXiv preprint arXiv:2201.00655","author":"Jackson John","year":"2021","unstructured":"John Jackson, Luca Laurenti, Eric Frew, and Morteza Lahijanian. 2021. Formal verification of unknown dynamical systems via Gaussian process regression. arXiv preprint arXiv:2201.00655 (2021)."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/3447928.3456649"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/11730637_29"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2015.2398883"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2020.2975028"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2022.3159190"},{"key":"e_1_3_2_1_25_1","volume-title":"Asymptotically optimal stochastic motion planning with temporal goals","author":"Luna Ryan","unstructured":"Ryan Luna, Morteza Lahijanian, Mark Moll, and Lydia\u00a0E Kavraki. 2015. Asymptotically optimal stochastic motion planning with temporal goals. In Algorithmic Foundations of Robotics XI. Springer, 335\u2013352."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10107-017-1172-1"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1287\/opre.1050.0216"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1287\/opre.1060.0353"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39799-8_35"},{"key":"e_1_3_2_1_30_1","volume-title":"Distributionally robust optimization: A review. arXiv preprint arXiv:1908.05659","author":"Rahimian Hamed","year":"2019","unstructured":"Hamed Rahimian and Sanjay Mehrotra. 2019. Distributionally robust optimization: A review. arXiv preprint arXiv:1908.05659 (2019)."},{"key":"e_1_3_2_1_31_1","first-page":"58","article-title":"Optimal transport for applied mathematicians. Birk\u00e4user","volume":"55","author":"Santambrogio Filippo","year":"2015","unstructured":"Filippo Santambrogio. 2015. Optimal transport for applied mathematicians. Birk\u00e4user, NY 55, 58-63 (2015), 94.","journal-title":"NY"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2020.109439"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1137\/16M1058297"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2008.925824"},{"key":"e_1_3_2_1_35_1","volume-title":"Topics in optimal transportation. Vol.\u00a058","author":"Villani C\u00e9dric","unstructured":"C\u00e9dric Villani. 2003. Topics in optimal transportation. Vol.\u00a058. American Mathematical Society."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1287\/moor.1120.0566"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2012.6426174"},{"key":"e_1_3_2_1_38_1","volume-title":"Distributionally robust Markov decision processes. Advances in Neural Information Processing Systems 23","author":"Xu Huan","year":"2010","unstructured":"Huan Xu and Shie Mannor. 2010. Distributionally robust Markov decision processes. Advances in Neural Information Processing Systems 23 (2010)."},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2017.2711553"},{"key":"e_1_3_2_1_40_1","volume-title":"Hybrid switching diffusions: properties and applications. Vol.\u00a063","author":"Yin George","unstructured":"George Yin and Chao Zhu. 2010. Hybrid switching diffusions: properties and applications. Vol.\u00a063. Springer New York."}],"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.3587127","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3575870.3587127","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.3587127"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,5,9]]},"references-count":40,"alternative-id":["10.1145\/3575870.3587127","10.1145\/3575870"],"URL":"https:\/\/doi.org\/10.1145\/3575870.3587127","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"}}]}}