{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,1,12]],"date-time":"2023-01-12T05:58:31Z","timestamp":1673503111673},"publisher-location":"New York, NY, USA","reference-count":35,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,5,19]],"date-time":"2021-05-19T00:00:00Z","timestamp":1621382400000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000001","name":"NSF (National Science Foundation)","doi-asserted-by":"publisher","award":["IIP-1650468, NSF-2039062"]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2021,5,19]]},"DOI":"10.1145\/3447928.3456649","type":"proceedings-article","created":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T03:54:48Z","timestamp":1620100488000},"update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Strategy synthesis for partially-known switched stochastic systems"],"prefix":"10.1145","author":[{"given":"John","family":"Jackson","sequence":"first","affiliation":[{"name":"University of Colorado Boulder"}]},{"given":"Luca","family":"Laurenti","sequence":"additional","affiliation":[{"name":"Delft University of Technology, Delft, Netherlands"}]},{"given":"Eric","family":"Frew","sequence":"additional","affiliation":[{"name":"University of Colorado Boulder"}]},{"given":"Morteza","family":"Lahijanian","sequence":"additional","affiliation":[{"name":"University of Colorado Boulder"}]}],"member":"320","published-online":{"date-parts":[[2021,5,19]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.spl.2014.01.009"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2017.8264626"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2014.7039601"},{"key":"e_1_3_2_1_4_1","unstructured":"Christel Baier Joost-Pieter Katoen etal 2008. Principles of model checking. MIT press Cambridge. Christel Baier Joost-Pieter Katoen et al. 2008. Principles of model checking. MIT press Cambridge."},{"key":"e_1_3_2_1_5_1","unstructured":"Felix Berkenkamp Matteo Turchetta Angela Schoellig and Andreas Krause. 2017. Safe model-based reinforcement learning with stability guarantees. In Advances in neural information processing systems. 908--918. Felix Berkenkamp Matteo Turchetta Angela Schoellig and Andreas Krause. 2017. Safe model-based reinforcement learning with stability guarantees. In Advances in neural information processing systems. 908--918."},{"key":"e_1_3_2_1_6_1","volume-title":"International Conference on Artificial Intelligence and Statistics. 3372--3382","author":"Blaas Arno","year":"2020","unstructured":"Arno Blaas , Andrea Patane , Luca Laurenti , Luca Cardelli , Marta Kwiatkowska , and Stephen Roberts . 2020 . Adversarial robustness guarantees for classification with gaussian processes . In International Conference on Artificial Intelligence and Statistics. 3372--3382 . Arno Blaas, Andrea Patane, Luca Laurenti, Luca Cardelli, Marta Kwiatkowska, and Stephen Roberts. 2020. Adversarial robustness guarantees for classification with gaussian processes. In International Conference on Artificial Intelligence and Statistics. 3372--3382."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v33i01.33017759"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/3302504.3311805"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.5555\/3305381.3305469"},{"key":"e_1_3_2_1_10_1","volume-title":"IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence. Association for Computing Machinery, 854--860","author":"Giacomo Giuseppe De","year":"2013","unstructured":"Giuseppe De Giacomo and Moshe Y Vardi . 2013 . Linear temporal logic and linear dynamic logic on finite traces . In IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence. Association for Computing Machinery, 854--860 . Giuseppe De Giacomo and Moshe Y Vardi. 2013. Linear temporal logic and linear dynamic logic on finite traces. In IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence. Association for Computing Machinery, 854--860."},{"key":"e_1_3_2_1_11_1","volume-title":"Handbook of Model Checking","author":"Doyen Laurent","unstructured":"Laurent Doyen , Goran Frehse , George J Pappas , and Andr\u00e9 Platzer . 2018. Verification of hybrid systems . In Handbook of Model Checking . Springer , 1047--1110. Laurent Doyen, Goran Frehse, George J Pappas, and Andr\u00e9 Platzer. 2018. Verification of hybrid systems. In Handbook of Model Checking. Springer, 1047--1110."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2018.08.026"},{"key":"e_1_3_2_1_13_1","unstructured":"Pascal Germain Francis Bach Alexandre Lacoste and Simon Lacoste-Julien. 2016. PAC-Bayesian theory meets Bayesian inference. In Advances in Neural Information Processing Systems. 1884--1892. Pascal Germain Francis Bach Alexandre Lacoste and Simon Lacoste-Julien. 2016. PAC-Bayesian theory meets Bayesian inference. In Advances in Neural Information Processing Systems. 1884--1892."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(00)00047-3"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.peva.2017.09.005"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2017.01.037"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/3309683"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/CDC42340.2020.9303814"},{"key":"e_1_3_2_1_19_1","volume-title":"Stochastic modeling and control of biological systems: the lactose regulation system of Escherichia coli","author":"Julius A Agung","year":"2008","unstructured":"A Agung Julius , \u00c1d\u00e1m Hal\u00e1sz , M Selman Sakar , Harvey Rubin , Vijay Kumar , and George J Pappas . 2008. Stochastic modeling and control of biological systems: the lactose regulation system of Escherichia coli . IEEE Trans. Automat. Control 53, Special Issue ( 2008 ), 51--65. A Agung Julius, \u00c1d\u00e1m Hal\u00e1sz, M Selman Sakar, Harvey Rubin, Vijay Kumar, and George J Pappas. 2008. Stochastic modeling and control of biological systems: the lactose regulation system of Escherichia coli. IEEE Trans. Automat. Control 53, Special Issue (2008), 51--65."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2019.108533"},{"key":"e_1_3_2_1_21_1","volume-title":"Numerical methods for stochastic control problems in continuous time","author":"Kushner Harold","unstructured":"Harold Kushner and Paul G Dupuis . 2013. Numerical methods for stochastic control problems in continuous time . Vol. 24 . Springer Science & Business Media . Harold Kushner and Paul G Dupuis. 2013. Numerical methods for stochastic control problems in continuous time. Vol. 24. Springer Science & Business Media."},{"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","unstructured":"Armin Lederer Jonas Umlauft and Sandra Hirche. 2019. Uniform Error Bounds for Gaussian Process Regression with Application to Safe Control. In Advances in Neural Information Processing Systems. 657--667. Armin Lederer Jonas Umlauft and Sandra Hirche. 2019. Uniform Error Bounds for Gaussian Process Regression with Application to Safe Control. In Advances in Neural Information Processing Systems. 657--667."},{"key":"e_1_3_2_1_25_1","volume-title":"Kavraki","author":"Luna Ryan","year":"2014","unstructured":"Ryan Luna , Morteza Lahijanian , Mark Moll , and Lydia E . Kavraki . 2014 . Asymptotically Optimal Stochastic Motion Planning with Temporal Goals. In Int'l Workshop on the Algorithmic Foundations of Robotics (WAFR). Istanbul, Turkey , 335--352. Ryan Luna, Morteza Lahijanian, Mark Moll, and Lydia E. Kavraki. 2014. Asymptotically Optimal Stochastic Motion Planning with Temporal Goals. In Int'l Workshop on the Algorithmic Foundations of Robotics (WAFR). Istanbul, Turkey, 335--352."},{"key":"e_1_3_2_1_26_1","volume-title":"Concentration inequalities and model selection","author":"Massart Pascal","unstructured":"Pascal Massart . 2007. Concentration inequalities and model selection . Vol. 6 . Springer . Pascal Massart. 2007. Concentration inequalities and model selection. Vol. 6. Springer."},{"key":"e_1_3_2_1_27_1","volume-title":"An introduction to the theory of reproducing kernel Hilbert spaces","author":"Paulsen Vern I","unstructured":"Vern I Paulsen and Mrinal Raghupathi . 2016. An introduction to the theory of reproducing kernel Hilbert spaces . Vol. 152 . Cambridge University Press . Vern I Paulsen and Mrinal Raghupathi. 2016. An introduction to the theory of reproducing kernel Hilbert spaces. Vol. 152. Cambridge University Press."},{"key":"e_1_3_2_1_28_1","volume-title":"Safety Guarantees for Planning Based on Iterative Gaussian Processes. arXiv preprint arXiv:1912.00071","author":"Polymenakos Kyriakos","year":"2019","unstructured":"Kyriakos Polymenakos , Luca Laurenti , Andrea Patane , Jan-Peter Calliess , Luca Cardelli , Marta Kwiatkowska , Alessandro Abate , and Stephen Roberts . 2019. Safety Guarantees for Planning Based on Iterative Gaussian Processes. arXiv preprint arXiv:1912.00071 ( 2019 ). Kyriakos Polymenakos, Luca Laurenti, Andrea Patane, Jan-Peter Calliess, Luca Cardelli, Marta Kwiatkowska, Alessandro Abate, and Stephen Roberts. 2019. Safety Guarantees for Planning Based on Iterative Gaussian Processes. arXiv preprint arXiv:1912.00071 (2019)."},{"key":"e_1_3_2_1_29_1","volume-title":"Summer School on Machine Learning","author":"Rasmussen Carl Edward","unstructured":"Carl Edward Rasmussen . 2003. Gaussian processes in machine learning . In Summer School on Machine Learning . Springer , 63--71. Carl Edward Rasmussen. 2003. Gaussian processes in machine learning. In Summer School on Machine Learning. Springer, 63--71."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-46681-0_23"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/tit.2011.2182033"},{"key":"e_1_3_2_1_32_1","first-page":"67","article-title":"On the influence of the kernel on the consistency of support vector machines","author":"Steinwart Ingo","year":"2001","unstructured":"Ingo Steinwart . 2001 . On the influence of the kernel on the consistency of support vector machines . Journal of machine learning research 2 , Nov (2001), 67 -- 93 . Ingo Steinwart. 2001. On the influence of the kernel on the consistency of support vector machines. Journal of machine learning research 2, Nov (2001), 67--93.","journal-title":"Journal of machine learning research 2"},{"key":"e_1_3_2_1_33_1","first-page":"997","article-title":"Safe exploration for optimization with Gaussian processes","volume":"37","author":"Sui Yanan","year":"2015","unstructured":"Yanan Sui , Alkis Gotovos , Joel W Burdick , and Andreas Krause . 2015 . Safe exploration for optimization with Gaussian processes . Proceedings of Machine Learning Research 37 (2015), 997 -- 1005 . Yanan Sui, Alkis Gotovos, Joel W Burdick, and Andreas Krause. 2015. Safe exploration for optimization with Gaussian processes. Proceedings of Machine Learning Research 37 (2015), 997--1005.","journal-title":"Proceedings of Machine Learning Research"},{"key":"e_1_3_2_1_34_1","volume-title":"LTLf Synthesis on Probabilistic Systems. In 11th International Symposium on Games, Automata, Logics, and Formal Verification (Electronic Proceedings in Theoretical Computer Science","volume":"181","author":"Wells Andrew M.","unstructured":"Andrew M. Wells , Morteza Lahijanian , Lydia E. Kavraki , and Moshe Y. Vardi . 2020 . LTLf Synthesis on Probabilistic Systems. In 11th International Symposium on Games, Automata, Logics, and Formal Verification (Electronic Proceedings in Theoretical Computer Science , Vol. 326), Jean-Francois Raskin and Davide Bresolin (Eds.). Open Publishing Association, 166-- 181 . Andrew M. Wells, Morteza Lahijanian, Lydia E. Kavraki, and Moshe Y. Vardi. 2020. LTLf Synthesis on Probabilistic Systems. In 11th International Symposium on Games, Automata, Logics, and Formal Verification (Electronic Proceedings in Theoretical Computer Science, Vol. 326), Jean-Francois Raskin and Davide Bresolin (Eds.). Open Publishing Association, 166--181."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2007.12.002"}],"event":{"name":"HSCC '21: 24th ACM International Conference on Hybrid Systems: Computation and Control","location":"Nashville Tennessee","acronym":"HSCC '21","sponsor":["SIGBED ACM Special Interest Group on Embedded Systems"]},"container-title":["Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/abs\/10.1145\/3447928.3456649","content-type":"text\/html","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3447928.3456649","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3447928.3456649","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,11]],"date-time":"2023-01-11T19:53:41Z","timestamp":1673466821000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3447928.3456649"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,5,19]]},"references-count":35,"alternative-id":["10.1145\/3447928.3456649","10.1145\/3447928"],"URL":"http:\/\/dx.doi.org\/10.1145\/3447928.3456649","relation":{},"published":{"date-parts":[[2021,5,19]]},"assertion":[{"value":"2021-05-19","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}