{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,14]],"date-time":"2026-01-14T01:38:34Z","timestamp":1768354714444,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":32,"publisher":"ACM","license":[{"start":{"date-parts":[[2014,10,12]],"date-time":"2014-10-12T00:00:00Z","timestamp":1413072000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100004362","name":"Toyota USA","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100004362","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2014,10,12]]},"DOI":"10.1145\/2656045.2656054","type":"proceedings-article","created":{"date-parts":[[2014,10,14]],"date-time":"2014-10-14T12:29:24Z","timestamp":1413289764000},"page":"1-10","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":23,"title":["Deductive control synthesis for alternating-time logics"],"prefix":"10.1145","author":[{"given":"Rayna","family":"Dimitrova","sequence":"first","affiliation":[{"name":"MPI-SWS"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rupak","family":"Majumdar","sequence":"additional","affiliation":[{"name":"MPI-SWS"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2014,10,12]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/585265.585270"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"crossref","unstructured":"R.\n       \n      Alur T. A.\n       \n      Henzinger O.\n       \n      Kupferman and \n      \n      \n      M. Y.\n       \n      Vardi\n      \n  \n  . \n  Alternating refinement relations. In D. Sangiorgi and R. de Simone editors CONCUR volume \n  1466\n   of \n  Lecture Notes in Computer Science pages \n  163\n  --\n  178\n  . \n  Springer 1998\n  .   R. Alur T. A. Henzinger O. Kupferman and M. Y. Vardi. Alternating refinement relations. In D. Sangiorgi and R. de Simone editors CONCUR volume 1466 of Lecture Notes in Computer Science pages 163--178. Springer 1998.","DOI":"10.1007\/BFb0055622"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-6911(99)00055-9"},{"key":"e_1_3_2_1_4_1","series-title":"LNCS","first-page":"52","volume-title":"Logic of Programs","author":"Clarke E.","year":"1981"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-31365-3_23"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2012.02.037"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.3166\/ejc.17.568-578"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2009.2034922"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2562059.2562139"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2004.09.023"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1991.151650"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78929-1_21"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2038642.2038659"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.5555\/211468"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2012.64"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1977.32"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1137\/070698580"},{"key":"e_1_3_2_1_18_1","volume-title":"CalTech","author":"Prajna S.","year":"2005"},{"key":"e_1_3_2_1_19_1","first-page":"477","volume-title":"HSCC, LNCS 2993","author":"Prajna S.","year":"2004"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2003.823000"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-31365-3_34"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-6911(00)00087-6"},{"key":"e_1_3_2_1_23_1","volume-title":"Proceedings of the Allerton Conference on Communication, Control, and Computing. Allerton Conference","author":"Rantzer A.","year":"2004"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-008-0075-6"},{"key":"e_1_3_2_1_25_1","volume-title":"Springer","author":"Tabuada P.","year":"2009"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-010-0172-8"},{"key":"e_1_3_2_1_27_1","series-title":"LIPIcs","first-page":"383","volume-title":"FSTTCS","author":"Taly A.","year":"2009"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/1879021.1879025"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2013.6760371"},{"key":"e_1_3_2_1_30_1","volume-title":"IROS, page","author":"Wong K.","year":"2073"},{"key":"e_1_3_2_1_31_1","unstructured":"T. Wongpiromsarn U. Topcu and A. G. Lamperski. Automata theory meets barrier certificates: Temporal logic verification of nonlinear systems. CoRR abs\/1403.3524 2014.  T. Wongpiromsarn U. Topcu and A. G. Lamperski. Automata theory meets barrier certificates: Temporal logic verification of nonlinear systems. CoRR abs\/1403.3524 2014."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2011.2178328"}],"event":{"name":"ESWEEK'14: TENTH EMBEDDED SYSTEM WEEK","location":"New Delhi India","acronym":"ESWEEK'14","sponsor":["SIGBED ACM Special Interest Group on Embedded Systems","SIGDA ACM Special Interest Group on Design Automation","IEEE CAS","IEEE Council on Electronic Design Automation (CEDA)","SIGMICRO ACM Special Interest Group on Microarchitectural Research and Processing"]},"container-title":["Proceedings of the 14th International Conference on Embedded Software"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2656045.2656054","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2656045.2656054","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T07:19:34Z","timestamp":1750231174000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2656045.2656054"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,10,12]]},"references-count":32,"alternative-id":["10.1145\/2656045.2656054","10.1145\/2656045"],"URL":"https:\/\/doi.org\/10.1145\/2656045.2656054","relation":{},"subject":[],"published":{"date-parts":[[2014,10,12]]},"assertion":[{"value":"2014-10-12","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}