{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T16:19:55Z","timestamp":1759335595224,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":31,"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":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100015599","name":"Toyota Research Institute","doi-asserted-by":"publisher","award":["AWD004880-SUB034"],"award-info":[{"award-number":["AWD004880-SUB034"]}],"id":[{"id":"10.13039\/100015599","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2021,5,19]]},"DOI":"10.1145\/3447928.3456648","type":"proceedings-article","created":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T03:54:48Z","timestamp":1620100488000},"page":"1-11","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":6,"title":["A program logic to verify signal temporal logic specifications of hybrid systems"],"prefix":"10.1145","author":[{"given":"Hammad","family":"Ahmad","sequence":"first","affiliation":[{"name":"University of Michigan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jean-Baptiste","family":"Jeannin","sequence":"additional","affiliation":[{"name":"University of Michigan"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2021,5,19]]},"reference":[{"volume-title":"Hybrid systems","author":"Alur Rajeev","key":"e_1_3_2_1_2_1","unstructured":"Rajeev Alur , Costas Courcoubetis , Thomas A Henzinger , and Pei-Hsin Ho. 1992. Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems . In Hybrid systems . Springer , 209--229. Rajeev Alur, Costas Courcoubetis, Thomas A Henzinger, and Pei-Hsin Ho. 1992. Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems. In Hybrid systems. Springer, 209--229."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/3290364"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/5.871305"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-017-0286-7"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.5555\/1885174.1885183"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33386-6_9"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-21401-6_36"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(82)90003-4"},{"volume-title":"Handbook of philosophical logic","author":"Harel David","key":"e_1_3_2_1_10_1","unstructured":"David Harel , Dexter Kozen , and Jerzy Tiuryn . 2001. Dynamic logic . In Handbook of philosophical logic . Springer , 99--217. David Harel, Dexter Kozen, and Jerzy Tiuryn. 2001. Dynamic logic. In Handbook of philosophical logic. Springer, 99--217."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-59615-5_13"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-08587-6_22"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-019-00332-1"},{"volume-title":"Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems","author":"Maler Oded","key":"e_1_3_2_1_15_1","unstructured":"Oded Maler and Dejan Nickovic . 2004. Monitoring temporal properties of continuous signals . In Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems . Springer , 152--166. Oded Maler and Dejan Nickovic. 2004. Monitoring temporal properties of continuous signals. In Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems. Springer, 152--166."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-012-0247-9"},{"volume-title":"Pillars of computer science","author":"Maler Oded","key":"e_1_3_2_1_17_1","unstructured":"Oded Maler , Dejan Nickovic , and Amir Pnueli . 2008. Checking temporal properties of discrete, timed and continuous behaviors . In Pillars of computer science . Springer , 475--505. Oded Maler, Dejan Nickovic, and Amir Pnueli. 2008. Checking temporal properties of discrete, timed and continuous behaviors. In Pillars of computer science. Springer, 475--505."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/11562948_18"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00286492"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-008-9103-8"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14509-4_4"},{"volume-title":"Logical analysis of hybrid systems: proving theorems for complex dynamics","author":"Platzer Andr\u00e9","key":"e_1_3_2_1_22_1","unstructured":"Andr\u00e9 Platzer . 2010. Logical analysis of hybrid systems: proving theorems for complex dynamics . Springer Science & Business Media . Andr\u00e9 Platzer. 2010. Logical analysis of hybrid systems: proving theorems for complex dynamics. Springer Science & Business Media."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2012.13"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71070-7_15"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1977.32"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/567752.567761"},{"volume-title":"Design automation conference","author":"Rajkumar Ragunathan","key":"e_1_3_2_1_27_1","unstructured":"Ragunathan Rajkumar , Insup Lee , Lui Sha , and John Stankovic . 2010. Cyberphysical systems: the next computing revolution . In Design automation conference . IEEE , 731--736. Ragunathan Rajkumar, Insup Lee, Lui Sha, and John Stankovic. 2010. Cyberphysical systems: the next computing revolution. In Design automation conference. IEEE, 731--736."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2014.7039363"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/2728606.2728628"},{"volume-title":"Automated Technology for Verification and Analysis","author":"Roehm Hendrik","key":"e_1_3_2_1_30_1","unstructured":"Hendrik Roehm , Jens Oehlerking , Thomas Heinz , and Matthias Althoff . 2016. STL Model Checking of Continuous and Hybrid Systems . In Automated Technology for Verification and Analysis , Cyrille Artho, Axel Legay, and Doron Peled (Eds.). Springer International Publishing , Cham , 412--427. Hendrik Roehm, Jens Oehlerking, Thomas Heinz, and Matthias Althoff. 2016. STL Model Checking of Continuous and Hybrid Systems. In Automated Technology for Verification and Analysis, Cyrille Artho, Axel Legay, and Doron Peled (Eds.). Springer International Publishing, Cham, 412--427."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-19249-9_32"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-57288-8_14"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-30942-8_23"}],"event":{"name":"HSCC '21: 24th ACM International Conference on Hybrid Systems: Computation and Control","sponsor":["SIGBED ACM Special Interest Group on Embedded Systems"],"location":"Nashville Tennessee","acronym":"HSCC '21"},"container-title":["Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3447928.3456648","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3447928.3456648","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T21:28:24Z","timestamp":1750195704000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3447928.3456648"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,5,19]]},"references-count":31,"alternative-id":["10.1145\/3447928.3456648","10.1145\/3447928"],"URL":"https:\/\/doi.org\/10.1145\/3447928.3456648","relation":{},"subject":[],"published":{"date-parts":[[2021,5,19]]},"assertion":[{"value":"2021-05-19","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}