{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,11]],"date-time":"2025-09-11T17:42:14Z","timestamp":1757612534426,"version":"3.44.0"},"publisher-location":"New York, NY, USA","reference-count":35,"publisher":"ACM","license":[{"start":{"date-parts":[[2025,5,6]],"date-time":"2025-05-06T00:00:00Z","timestamp":1746489600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Czech Science Foundation","award":["GA21-09458S"],"award-info":[{"award-number":["GA21-09458S"]}]},{"name":"Bayerisch-Tschechische Hochschulagentur","award":["BTHA- MOB-2023-9"],"award-info":[{"award-number":["BTHA- MOB-2023-9"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,5,6]]},"DOI":"10.1145\/3716863.3718051","type":"proceedings-article","created":{"date-parts":[[2025,5,21]],"date-time":"2025-05-21T06:20:33Z","timestamp":1747808433000},"page":"1-11","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Exploring Behaviors of Hybrid Systems via the Voronoi Bias over Output Signals"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-9498-3460","authenticated-orcid":false,"given":"Ji\u0159\u00ed","family":"Fejlek","sequence":"first","affiliation":[{"name":"Institute of Computer Science, Czech Academy of Sciences, Prague, Czech Republic"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3289-5764","authenticated-orcid":false,"given":"Gidon","family":"Ernst","sequence":"additional","affiliation":[{"name":"Ludwig-Maximilians-Universit\u00e4t, Munich, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2025,5,21]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2014.6859453"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-63387-9_24"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW.2018.00052"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-21668-3_21"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/IECON.2010.5675195"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/3641513.3650141"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1049\/ip-cta:20050152"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1613\/jair.1.12716"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/EMSOFT.2015.7318257"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14295-6_17"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.5555\/1885174.1885183"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-17524-9_10"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/3459605"},{"volume-title":"Differential evolution","author":"Feoktistov Vitaliy","key":"e_1_3_2_1_14_1","unstructured":"Vitaliy Feoktistov. 2006. Differential evolution. Springer."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/3624745"},{"key":"e_1_3_2_1_16_1","volume-title":"Completely derandomized self-adaptation in evolution strategies. Evolutionary computation 9, 2","author":"Hansen Nikolaus","year":"2001","unstructured":"Nikolaus Hansen and Andreas Ostermeier. 2001. Completely derandomized self-adaptation in evolution strategies. Evolutionary computation 9, 2 (2001), 159--195."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.5555\/646880.710449"},{"key":"e_1_3_2_1_18_1","volume-title":"Sampling-based algorithms for optimal motion planning. The international journal of robotics research 30, 7","author":"Karaman Sertac","year":"2011","unstructured":"Sertac Karaman and Emilio Frazzoli. 2011. Sampling-based algorithms for optimal motion planning. The international journal of robotics research 30, 7 (2011), 846--894."},{"key":"e_1_3_2_1_19_1","volume-title":"Proceedings of the 11th Int. Workshop on Applied Verification for Continuous and Hybrid Systems (EPiC Series in Computing","volume":"144","author":"Khandait Tanmay","year":"2024","unstructured":"Tanmay Khandait, Federico Formica, Paolo Arcaini, Surdeep Chotaliya, Georgios Fainekos, Abdelrahman Hekal, Atanu Kundu, Ethan Lew, Michele Loreti, Claudio Menghi, Laura Nenzi, Giulia Pedrielli, Jarkko Peltom\u00e4ki, Ivan Porres, Rajarshi Ray, Valentin Soloviev, Ennio Visconti, Masaki Waga, and Zhenya Zhang. 2024. ARCH-COMP 2024 Category Report: Falsification. In Proceedings of the 11th Int. Workshop on Applied Verification for Continuous and Hybrid Systems (EPiC Series in Computing, Vol. 103), Goran Frehse and Matthias Althoff (Eds.). 122--144."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/LRA.2018.2888947"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/3641399.3641401"},{"key":"e_1_3_2_1_22_1","volume-title":"Rapidly-Exploring Random Trees: A New Tool for Path Planning. Algorithmic Foundations of Robotics V","author":"LaValle S. M.","year":"1998","unstructured":"S. M. LaValle. 1998. Rapidly-Exploring Random Trees: A New Tool for Path Planning. Algorithmic Foundations of Robotics V (1998)."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1177\/02783640122067453"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/3501710.3519521"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/COASE.2019.8843005"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/3377811.3380370"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1755952.1755983"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.14569\/IJACSA.2016.071114"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/CCTA.2017.8062628"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW60967.2024.00036"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/2185632.2185653"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-85248-1_15"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/3365365.3382193"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/3302504.3311814"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-81685-8_29"}],"event":{"name":"HSCC '25: Computation and Control","sponsor":["SIGBED ACM Special Interest Group on Embedded Systems"],"location":"Irvine CA USA","acronym":"HSCC '25"},"container-title":["Proceedings of the 28th ACM International Conference on Hybrid Systems: Computation and Control"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3716863.3718051","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3716863.3718051","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,4]],"date-time":"2025-09-04T13:46:21Z","timestamp":1756993581000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3716863.3718051"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,5,6]]},"references-count":35,"alternative-id":["10.1145\/3716863.3718051","10.1145\/3716863"],"URL":"https:\/\/doi.org\/10.1145\/3716863.3718051","relation":{},"subject":[],"published":{"date-parts":[[2025,5,6]]},"assertion":[{"value":"2025-05-21","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}