{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,2]],"date-time":"2026-01-02T07:48:12Z","timestamp":1767340092498,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":48,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,11,20]],"date-time":"2021-11-20T00:00:00Z","timestamp":1637366400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"DOI":"10.13039\/501100003246","name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek","doi-asserted-by":"publisher","award":["639.021.754"],"award-info":[{"award-number":["639.021.754"]}],"id":[{"id":"10.13039\/501100003246","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2021,11,20]]},"DOI":"10.1145\/3487212.3487339","type":"proceedings-article","created":{"date-parts":[[2021,12,21]],"date-time":"2021-12-21T20:01:45Z","timestamp":1640116905000},"page":"44-55","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":13,"title":["Learning optimal decisions for stochastic hybrid systems"],"prefix":"10.1145","author":[{"given":"Mathis","family":"Niehage","sequence":"first","affiliation":[{"name":"Westf\u00e4lische Wilhelms-Universit\u00e4t, M\u00fcnster, Germany"}]},{"given":"Arnd","family":"Hartmanns","sequence":"additional","affiliation":[{"name":"University of Twente, Enschede, The Netherlands"}]},{"given":"Anne","family":"Remke","sequence":"additional","affiliation":[{"name":"Westf\u00e4lische Wilhelms-Universit\u00e4t, M\u00fcnster, Germany"}]}],"member":"320","published-online":{"date-parts":[[2021,12,21]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.3166\/ejc.16.624--641"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-018-0458-2"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-11936-6_8"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-020-00563-2"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2020.3006967"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-17465-1_14"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-014-0361-y"},{"key":"e_1_3_2_1_8_1","volume-title":"Discrete, continuous, and hybrid Petri Nets","author":"David Ren\u00e9","unstructured":"Ren\u00e9 David and Hassane Alla . 2005. Discrete, continuous, and hybrid Petri Nets ( 1 st ed.). Springer , Berlin, Heidelberg . Ren\u00e9 David and Hassane Alla. 2005. Discrete, continuous, and hybrid Petri Nets (1st ed.). Springer, Berlin, Heidelberg.","edition":"1"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/0771-050X(80)90013-3"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-015-0383-0"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-89366-2_21"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-03421-4_22"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-014-0329-y"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1967701.1967710"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlap.2010.07.003"},{"key":"e_1_3_2_1_16_1","volume-title":"Formal Verification of End-to-End Learning in Cyber-Physical Systems: Progress and Challenges. arXiv:2006.09181 [cs, stat] (June","author":"Fulton Nathan","year":"2020","unstructured":"Nathan Fulton , Nathan Hunt , Nghia Hoang , and Subhro Das . 2020. Formal Verification of End-to-End Learning in Cyber-Physical Systems: Progress and Challenges. arXiv:2006.09181 [cs, stat] (June 2020 ). http:\/\/arxiv.org\/abs\/2006.09181 arXiv: 2006.09181. Nathan Fulton, Nathan Hunt, Nghia Hoang, and Subhro Das. 2020. Formal Verification of End-to-End Learning in Cyber-Physical Systems: Progress and Challenges. arXiv:2006.09181 [cs, stat] (June 2020). http:\/\/arxiv.org\/abs\/2006.09181 arXiv: 2006.09181."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-22264-6_19"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1613\/jair.1666"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.peva.2016.09.002"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-012-0167-z"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-59152-6_6"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-54862-8_51"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-27810-0_11"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.5555\/3398761.3398821"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/CDC40024.2019.9028919"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/QEST.2012.19"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-25141-7_7"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-99154-2_13"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-22110-1_47"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2020.2975028"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCPS48487.2020.00017"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-15201-1_23"},{"key":"e_1_3_2_1_33_1","volume-title":"Johnson","author":"Lopez Diego Manzanas","year":"2019","unstructured":"Diego Manzanas Lopez , Patrick Musau , Hoang-Dung Tran , Souradeep Dutta , Taylor J. Carpenter , Radoslav Ivanov , and Taylor T . Johnson . 2019 . ARCH-COMP19 Category Report : Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants. In ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systems (EPiC Series in Computing , Vol. 61). EasyChair, 103-- 119 . Diego Manzanas Lopez, Patrick Musau, Hoang-Dung Tran, Souradeep Dutta, Taylor J. Carpenter, Radoslav Ivanov, and Taylor T. Johnson. 2019. ARCH-COMP19 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants. In ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systems (EPiC Series in Computing, Vol. 61). EasyChair, 103--119."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30206-3_12"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.4121\/16635823"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/3388831.3388842"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/3150928.3150956"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/3365365.3382198"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-55754-6_23"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1109\/MASCOTS.2018.00024"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2017.41"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-85172-9_23"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-014-0350-1"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.spl.2014.11.018"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2014.7039527"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/2728606.2728625"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-49052-6_10"},{"key":"e_1_3_2_1_48_1","volume-title":"Barto","author":"Sutton Richard S.","year":"2018","unstructured":"Richard S. Sutton and Andrew G . Barto . 2018 . Reinforcement learning: an introduction ( second edition ed.). The MIT Press , Cambridge, Massachusetts. Richard S. Sutton and Andrew G. Barto. 2018. Reinforcement learning: an introduction (second edition ed.). The MIT Press, Cambridge, Massachusetts."}],"event":{"name":"MEMOCODE '21: 19th ACM-IEEE International Conference on Formal Methods and Models for System Design","sponsor":["SIGBED ACM Special Interest Group on Embedded Systems","SIGDA ACM Special Interest Group on Design Automation","IEEE CAS","IEEE CEDA"],"location":"Virtual Event China","acronym":"MEMOCODE '21"},"container-title":["Proceedings of the 19th ACM-IEEE International Conference on Formal Methods and Models for System Design"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3487212.3487339","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3487212.3487339","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:18:47Z","timestamp":1750191527000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3487212.3487339"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,11,20]]},"references-count":48,"alternative-id":["10.1145\/3487212.3487339","10.1145\/3487212"],"URL":"https:\/\/doi.org\/10.1145\/3487212.3487339","relation":{},"subject":[],"published":{"date-parts":[[2021,11,20]]},"assertion":[{"value":"2021-12-21","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}