{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:29:58Z","timestamp":1750220998298,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":34,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,4,16]],"date-time":"2019-04-16T00:00:00Z","timestamp":1555372800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2019,4,16]]},"DOI":"10.1145\/3302504.3311813","type":"proceedings-article","created":{"date-parts":[[2019,4,8]],"date-time":"2019-04-08T13:37:58Z","timestamp":1554730678000},"page":"1-10","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":10,"title":["Falsification of hybrid systems using symbolic reachability and trajectory splicing"],"prefix":"10.1145","author":[{"given":"Sergiy","family":"Bogomolov","sequence":"first","affiliation":[{"name":"Australian National University, Canberra, Australia"}]},{"given":"Goran","family":"Frehse","sequence":"additional","affiliation":[{"name":"ENSTA ParisTech - U2IS, Palaiseau Cedex, France"}]},{"given":"Amit","family":"Gurung","sequence":"additional","affiliation":[{"name":"Martin Luther Christian University, Shillong, India"}]},{"given":"Dongxu","family":"Li","sequence":"additional","affiliation":[{"name":"Australian National University, Canberra, Australia"}]},{"given":"Georg","family":"Martius","sequence":"additional","affiliation":[{"name":"Max Planck Institute for Intelligent Systems, T\u00fcbingen, Germany"}]},{"given":"Rajarshi","family":"Ray","sequence":"additional","affiliation":[{"name":"National Institute of Technology, Meghalaya, Shillong, India"}]}],"member":"320","published-online":{"date-parts":[[2019,4,16]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Computing reachable sets of hybrid systems using a combination of zonotopes and polytopes. Nonlinear analysis: hybrid systems 4, 2","author":"Althoff Matthias","year":"2010","unstructured":"Matthias Althoff , Olaf Stursberg , and Martin Buss . 2010. Computing reachable sets of hybrid systems using a combination of zonotopes and polytopes. Nonlinear analysis: hybrid systems 4, 2 ( 2010 ), 233--249. Matthias Althoff, Olaf Stursberg, and Martin Buss. 2010. Computing reachable sets of hybrid systems using a combination of zonotopes and polytopes. Nonlinear analysis: hybrid systems 4, 2 (2010), 233--249."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)00202-T"},{"volume-title":"Tools and algorithms for the construction and analysis of systems (LNCS)","author":"Rahul Annapureddy Yashwanth Singh","key":"e_1_3_2_1_3_1","unstructured":"Yashwanth Singh Rahul Annapureddy , Che Liu , Georgios E. Fainekos , and Sriram Sankaranarayanan . 2011. S-TaLiRo: A Tool for Temporal Logic Falsification for Hybrid Systems . In Tools and algorithms for the construction and analysis of systems (LNCS) , Vol. 6605 . Springer , 254--257. https:\/\/sites.google.com\/a\/asu.edu\/s-taliro\/. Yashwanth Singh Rahul Annapureddy, Che Liu, Georgios E. Fainekos, and Sriram Sankaranarayanan. 2011. S-TaLiRo: A Tool for Temporal Logic Falsification for Hybrid Systems. In Tools and algorithms for the construction and analysis of systems (LNCS), Vol. 6605. Springer, 254--257. https:\/\/sites.google.com\/a\/asu.edu\/s-taliro\/."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.biosystemseng.2015.07.004"},{"key":"e_1_3_2_1_5_1","volume-title":"Challenges and Tool Implementation of Hybrid Rapidly-Exploring Random Trees. In International Workshop on Numerical Software Verification. Springer.","author":"Bak Stanley","year":"2017","unstructured":"Stanley Bak , Sergiy Bogomolov , Thomas A. Henzinger , and Aviral Kumar . 2017 . Challenges and Tool Implementation of Hybrid Rapidly-Exploring Random Trees. In International Workshop on Numerical Software Verification. Springer. Stanley Bak, Sergiy Bogomolov, Thomas A. Henzinger, and Aviral Kumar. 2017. Challenges and Tool Implementation of Hybrid Rapidly-Exploring Random Trees. In International Workshop on Numerical Software Verification. Springer."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/3049797.3049808"},{"volume-title":"Proc. of ARCH14--15","author":"Ben Makhlouf I.","key":"e_1_3_2_1_7_1","unstructured":"I. Ben Makhlouf and S. Kowalewski . 2015. Networked Cooperative Platoon of Vehicles for Testing Methods and Verification Tools . In Proc. of ARCH14--15 . 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems. 37--42. I. Ben Makhlouf and S. Kowalewski. 2015. Networked Cooperative Platoon of Vehicles for Testing Methods and Verification Tools. In Proc. of ARCH14--15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems. 37--42."},{"key":"e_1_3_2_1_8_1","unstructured":"Dimitri P Bertsekas. 1999. Nonlinear programming. Athena scientific Belmont.  Dimitri P Bertsekas. 1999. Nonlinear programming. Athena scientific Belmont."},{"key":"e_1_3_2_1_9_1","volume-title":"IFAC Proceedings Volumes 17, 2 (1984), 1603--1608. 9th IFAC World Congress: A Bridge Between Control Science and Technology","author":"Bock H.G.","year":"1984","unstructured":"H.G. Bock and K.J. Plitt . 1984. A Multiple Shooting Algorithm for Direct Solution of Optimal Control Problems* . IFAC Proceedings Volumes 17, 2 (1984), 1603--1608. 9th IFAC World Congress: A Bridge Between Control Science and Technology , Budapest, Hungary, 2- -6 July 1984 . H.G. Bock and K.J. Plitt. 1984. A Multiple Shooting Algorithm for Direct Solution of Optimal Control Problems*. IFAC Proceedings Volumes 17, 2 (1984), 1603--1608. 9th IFAC World Congress: A Bridge Between Control Science and Technology, Budapest, Hungary, 2--6 July 1984."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/3178126.3178128"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"crossref","unstructured":"Sergiy Bogomolov Daniele Magazzeni Stefano Minopoli and Martin Wehrle. 2015. PDDL+ Planning with Hybrid Automata: Foundations of Translating Must Behavior.. In ICAPS. 42--46.   Sergiy Bogomolov Daniele Magazzeni Stefano Minopoli and Martin Wehrle. 2015. PDDL+ Planning with Hybrid Automata: Foundations of Translating Must Behavior.. In ICAPS. 42--46.","DOI":"10.1609\/icaps.v25i1.13717"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"crossref","unstructured":"Sergiy Bogomolov Daniele Magazzeni Andreas Podelski and Martin Wehrle. 2014. Planning as Model Checking in Hybrid Domains.. In AAAI. 2228--2234.   Sergiy Bogomolov Daniele Magazzeni Andreas Podelski and Martin Wehrle. 2014. Planning as Model Checking in Hybrid Domains.. In AAAI. 2228--2234.","DOI":"10.1609\/aaai.v28i1.9037"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.5555\/2387933.2387934"},{"key":"e_1_3_2_1_14_1","volume-title":"5th International Workshop on Applied Verification of Continuous and Hybrid Systems (EPiC Series in Computing), Goran Frehse and Matthias Althoff (Eds.)","volume":"54","author":"Dokhanchi Adel","year":"2018","unstructured":"Adel Dokhanchi , Shakiba Yaghoubi , Bardh Hoxha , Georgios Fainekos , Gidon Ernst , Zhenya Zhang , Paolo Arcaini , Ichiro Hasuo , and Sean Sedwards . 2018 . ARCH-COMP18 Category Report: Results on the Falsification Benchmarks. In ARCH18 . 5th International Workshop on Applied Verification of Continuous and Hybrid Systems (EPiC Series in Computing), Goran Frehse and Matthias Althoff (Eds.) , Vol. 54 . EasyChair, 104--109. FalStar : https:\/\/github.com\/ERATOMMSD\/. Adel Dokhanchi, Shakiba Yaghoubi, Bardh Hoxha, Georgios Fainekos, Gidon Ernst, Zhenya Zhang, Paolo Arcaini, Ichiro Hasuo, and Sean Sedwards. 2018. ARCH-COMP18 Category Report: Results on the Falsification Benchmarks. In ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems (EPiC Series in Computing), Goran Frehse and Matthias Althoff (Eds.), Vol. 54. EasyChair, 104--109. FalStar : https:\/\/github.com\/ERATOMMSD\/."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14295-6_17"},{"volume-title":"HSCC (Lecture Notes in Computer Science), Rajeev Alur and George J","author":"Fehnker Ansgar","key":"e_1_3_2_1_16_1","unstructured":"Ansgar Fehnker and Franjo Ivancic . 2004. Benchmarks for Hybrid Systems Verification . In HSCC (Lecture Notes in Computer Science), Rajeev Alur and George J . Pappas (Eds.), Vol. 2993 . Springer , 326--341. Ansgar Fehnker and Franjo Ivancic. 2004. Benchmarks for Hybrid Systems Verification. In HSCC (Lecture Notes in Computer Science), Rajeev Alur and George J. Pappas (Eds.), Vol. 2993. Springer, 326--341."},{"key":"e_1_3_2_1_17_1","volume-title":"Proceedings of the 3rd International NASA Workshop on Planning and Scheduling for Space","volume":"4","author":"Fox Maria","year":"2002","unstructured":"Maria Fox and Derek Long . 2002 . PDDL+: Modeling continuous time dependent effects . In Proceedings of the 3rd International NASA Workshop on Planning and Scheduling for Space , Vol. 4 . 34. Maria Fox and Derek Long. 2002. PDDL+: Modeling continuous time dependent effects. In Proceedings of the 3rd International NASA Workshop on Planning and Scheduling for Space, Vol. 4. 34."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.5555\/2032305.2032335"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2014.6942976"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02658-4_40"},{"key":"e_1_3_2_1_21_1","unstructured":"Steven G. Johnson. 2018. The NLopt nonlinear-optimization package. http:\/\/ab-initio.mit.edu\/nlopt.  Steven G. Johnson. 2018. The NLopt nonlinear-optimization package. http:\/\/ab-initio.mit.edu\/nlopt."},{"key":"e_1_3_2_1_22_1","volume-title":"LaValle","author":"Kuffner James J.","year":"2000","unstructured":"James J. Kuffner and Steven M . LaValle . 2000 . RRT-Connect: An Efficient Approach to Single-Query Path Planning. In ICRA. James J. Kuffner and Steven M. LaValle. 2000. RRT-Connect: An Efficient Approach to Single-Query Path Planning. In ICRA."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-10512-3_11"},{"key":"e_1_3_2_1_24_1","unstructured":"Steven M LaValle. 1998. Rapidly-exploring random trees: A new tool for path planning. (1998).  Steven M LaValle. 1998. Rapidly-exploring random trees: A new tool for path planning. (1998)."},{"key":"e_1_3_2_1_25_1","volume-title":"Randomized kinodynamic planning. The international journal of robotics research 20, 5","author":"LaValle Steven M","year":"2001","unstructured":"Steven M LaValle and James J Kuffner Jr . 2001. Randomized kinodynamic planning. The international journal of robotics research 20, 5 ( 2001 ), 378--400. Steven M LaValle and James J Kuffner Jr. 2001. Randomized kinodynamic planning. The international journal of robotics research 20, 5 (2001), 378--400."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.nahs.2009.03.002"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"crossref","unstructured":"Giuseppe Della Penna Daniele Magazzeni Fabio Mercorio and Benedetto Intrigila. 2009. UPMurphi: A Tool for Universal Planning on PDDL+ Problems. In ICAPS.  Giuseppe Della Penna Daniele Magazzeni Fabio Mercorio and Benedetto Intrigila. 2009. UPMurphi: A Tool for Universal Planning on PDDL+ Problems. In ICAPS.","DOI":"10.1609\/icaps.v19i1.13352"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"crossref","unstructured":"Wiktor Mateusz Piotrowski Maria Fox Derek Long Daniele Magazzeni and Fabio Mercorio. 2016. Heuristic Planning for PDDL+ Domains.  Wiktor Mateusz Piotrowski Maria Fox Derek Long Daniele Magazzeni and Fabio Mercorio. 2016. Heuristic Planning for PDDL+ Domains.","DOI":"10.1609\/aaai.v30i1.9953"},{"key":"e_1_3_2_1_29_1","volume-title":"HVC 2015, Proceedings (Lecture Notes in Computer Science), Nir Piterman (Ed.)","volume":"9434","author":"Ray Rajarshi","year":"2015","unstructured":"Rajarshi Ray , Amit Gurung , Binayak Das , Ezio Bartocci , Sergiy Bogomolov , and Radu Grosu . 2015 . XSpeed: Accelerating Reachability Analysis on Multi-core Processors. In Hardware and Software: Verification and Testing - 11th International Haifa Verification Conference , HVC 2015, Proceedings (Lecture Notes in Computer Science), Nir Piterman (Ed.) , Vol. 9434 . Springer, 3--18. http:\/\/xspeed.nitmeghalaya.in. Rajarshi Ray, Amit Gurung, Binayak Das, Ezio Bartocci, Sergiy Bogomolov, and Radu Grosu. 2015. XSpeed: Accelerating Reachability Analysis on Multi-core Processors. In Hardware and Software: Verification and Testing - 11th International Haifa Verification Conference, HVC 2015, Proceedings (Lecture Notes in Computer Science), Nir Piterman (Ed.), Vol. 9434. Springer, 3--18. http:\/\/xspeed.nitmeghalaya.in."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.3233\/978-1-61499-672-9-655"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1002\/nme.1620240207"},{"volume-title":"Robotics research","author":"Ye Gu","key":"e_1_3_2_1_32_1","unstructured":"Gu Ye and Ron Alterovitz . 2017. Guided motion planning . In Robotics research . Springer , 291--307. Gu Ye and Ron Alterovitz. 2017. Guided motion planning. In Robotics research. Springer, 291--307."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/2656045.2656061"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2013.6760488"}],"event":{"name":"HSCC '19: 22nd ACM International Conference on Hybrid Systems: Computation and Control","sponsor":["SIGBED ACM Special Interest Group on Embedded Systems"],"location":"Montreal Quebec Canada","acronym":"HSCC '19"},"container-title":["Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3302504.3311813","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3302504.3311813","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T00:25:37Z","timestamp":1750206337000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3302504.3311813"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,4,16]]},"references-count":34,"alternative-id":["10.1145\/3302504.3311813","10.1145\/3302504"],"URL":"https:\/\/doi.org\/10.1145\/3302504.3311813","relation":{},"subject":[],"published":{"date-parts":[[2019,4,16]]},"assertion":[{"value":"2019-04-16","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}