{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T10:41:40Z","timestamp":1725619300167},"publisher-location":"New York, NY, USA","reference-count":19,"publisher":"ACM","license":[{"start":{"date-parts":[[2015,4,14]],"date-time":"2015-04-14T00:00:00Z","timestamp":1428969600000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2015,4,14]]},"DOI":"10.1145\/2728606.2728624","type":"proceedings-article","created":{"date-parts":[[2015,5,1]],"date-time":"2015-05-01T14:13:36Z","timestamp":1430489616000},"page":"31-40","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["What's decidable about recursive hybrid automata?"],"prefix":"10.1145","author":[{"given":"Shankara Narayanan","family":"Krishna","sequence":"first","affiliation":[{"name":"IIT Bombay, India"}]},{"given":"Lakshmi","family":"Manasa","sequence":"additional","affiliation":[{"name":"IIT Bombay, India"}]},{"given":"Ashutosh","family":"Trivedi","sequence":"additional","affiliation":[{"name":"IIT Bombay, India"}]}],"member":"320","published-online":{"date-parts":[[2015,4,14]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2012.15"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1075382.1075387"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.5555\/646874.709849"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.5555\/646787.703873"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.5555\/646244.684357"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.5555\/646875.709990"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.5555\/645880.672077"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.5555\/646732.701281"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-02444-8_6"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1328438.1328460"},{"key":"e_1_3_2_1_11_1","series-title":"LNCS","first-page":"232","volume-title":"CAV","author":"Esparza J.","year":"2000","unstructured":"J. Esparza , D. Hansel , P. Rossmanith , and S. Schwoon . Efficient algorithms for model checking pushdown systems . In CAV , volume 1855 of LNCS , pages 232 -- 247 . 2000 . J. Esparza, D. Hansel, P. Rossmanith, and S. Schwoon. Efficient algorithms for model checking pushdown systems. In CAV, volume 1855 of LNCS, pages 232--247. 2000."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(87)90035-9"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1006\/jcss.1998.1581"},{"volume-title":"Recursive hybrid automata. In www.cse.iitb.ac.in\/~krishnas\/TR15.pdf","year":"2015","author":"Krishna S.","key":"e_1_3_2_1_14_1","unstructured":"S. Krishna , L. Manasa , and A. Trivedi . Recursive hybrid automata. In www.cse.iitb.ac.in\/~krishnas\/TR15.pdf , 2015 . S. Krishna, L. Manasa, and A. Trivedi. Recursive hybrid automata. In www.cse.iitb.ac.in\/~krishnas\/TR15.pdf, 2015."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-12200-2_10"},{"volume-title":"O-minimal hybrid systems. Mathematics of control, signals and systems, 13(1): 1--21","year":"2000","author":"Lafferriere G.","key":"e_1_3_2_1_16_1","unstructured":"G. Lafferriere , G. J. Pappas , and S. Sastry . O-minimal hybrid systems. Mathematics of control, signals and systems, 13(1): 1--21 , 2000 . G. Lafferriere, G. J. Pappas, and S. Sastry. O-minimal hybrid systems. Mathematics of control, signals and systems, 13(1): 1--21, 2000."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.5555\/1880999.1881003"},{"volume-title":"The United Modeling Language Reference Manual","year":"1999","author":"Rumbaugh J.","key":"e_1_3_2_1_18_1","unstructured":"J. Rumbaugh , I. Jacobson , and G. Booch , editors . The United Modeling Language Reference Manual . Addison-Wesley Longman Ltd ., 1999 . J. Rumbaugh, I. Jacobson, and G. Booch, editors. The United Modeling Language Reference Manual. Addison-Wesley Longman Ltd., 1999."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.5555\/1927331.1927356"}],"event":{"name":"HSCC '15: 18th International Conference on Hybrid Systems: Computation and Control","sponsor":["IEEE-CSS Control Systems Society","SIGBED ACM Special Interest Group on Embedded Systems"],"location":"Seattle Washington","acronym":"HSCC '15"},"container-title":["Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2728606.2728624","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,11]],"date-time":"2023-01-11T21:16:46Z","timestamp":1673471806000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2728606.2728624"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,4,14]]},"references-count":19,"alternative-id":["10.1145\/2728606.2728624","10.1145\/2728606"],"URL":"https:\/\/doi.org\/10.1145\/2728606.2728624","relation":{},"subject":[],"published":{"date-parts":[[2015,4,14]]},"assertion":[{"value":"2015-04-14","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}