{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T22:04:47Z","timestamp":1743113087106,"version":"3.40.3"},"publisher-location":"Cham","reference-count":22,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319896557"},{"type":"electronic","value":"9783319896564"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-89656-4_4","type":"book-chapter","created":{"date-parts":[[2018,4,5]],"date-time":"2018-04-05T04:53:44Z","timestamp":1522904024000},"page":"45-59","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Synthesizing Controllers: On the Correspondence Between LTL Synthesis and Non-deterministic Planning"],"prefix":"10.1007","author":[{"given":"Alberto","family":"Camacho","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jorge A.","family":"Baier","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christian","family":"Muise","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sheila A.","family":"McIlraith","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,4,6]]},"reference":[{"key":"4_CR1","unstructured":"Church, A.: Applications of recursive arithmetic to the problem of circuit synthesis. In: Summaries of the Summer Institute of Symbolic Logic, Cornell University, vol. 1, pp. 3\u201350 (1957)"},{"issue":"3","key":"4_CR2","doi-asserted-by":"publisher","first-page":"911","DOI":"10.1016\/j.jcss.2011.08.007","volume":"78","author":"R Bloem","year":"2012","unstructured":"Bloem, R., Jobstmann, B., Piterman, N., Pnueli, A., Saar, Y.: Synthesis of reactive (1) designs. J. Comput. Syst. Sci. JCSS 78(3), 911\u2013938 (2012)","journal-title":"J. Comput. Syst. Sci. JCSS"},{"key":"4_CR3","doi-asserted-by":"crossref","unstructured":"Pnueli, A.: The temporal logic of programs. In: FOCS, pp. 46\u201357 (1977)","DOI":"10.1109\/SFCS.1977.32"},{"key":"4_CR4","doi-asserted-by":"crossref","unstructured":"Pnueli, A., Rosner, R.: On the synthesis of a reactive module. In: POPL, pp. 179\u2013190 (1989)","DOI":"10.1145\/75277.75293"},{"key":"4_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"652","DOI":"10.1007\/978-3-642-31424-7_45","volume-title":"Computer Aided Verification","author":"A Bohy","year":"2012","unstructured":"Bohy, A., Bruy\u00e8re, V., Filiot, E., Jin, N., Raskin, J.-F.: Acacia+, a tool for LTL synthesis. In: Madhusudan, P., Seshia, S.A. (eds.) CAV 2012. LNCS, vol. 7358, pp. 652\u2013657. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-31424-7_45"},{"key":"4_CR6","doi-asserted-by":"crossref","unstructured":"Jobstmann, B., Bloem, R.: Optimizations for LTL synthesis. In: FMCAD, pp. 117\u2013124 (2006)","DOI":"10.1109\/FMCAD.2006.22"},{"key":"4_CR7","doi-asserted-by":"crossref","unstructured":"De Giacomo, G., Felli, P., Patrizi, F., Sardi\u00f1a, S.: Two-player game structures for generalized planning and agent composition. In: AAAI (2010)","DOI":"10.1609\/aaai.v24i1.7597"},{"key":"4_CR8","unstructured":"Patrizi, F., Lipovetzky, N., Geffner, H.: Fair LTL synthesis for non-deterministic systems using strong cyclic planners. In: IJCAI (2013)"},{"key":"4_CR9","unstructured":"Sardi\u00f1a, S., D\u2019Ippolito, N.: Towards fully observable non-deterministic planning as assumption-based automatic synthesis. In: IJCAI, pp. 3200\u20133206 (2015)"},{"key":"4_CR10","unstructured":"De Giacomo, G., Vardi, M.Y.: Synthesis for LTL and LDL on finite traces. In: IJCAI, pp. 1558\u20131564 (2015)"},{"key":"4_CR11","doi-asserted-by":"crossref","unstructured":"Camacho, A., Triantafillou, E., Muise, C., Baier, J.A., McIlraith, S.A.: Non-deterministic planning with temporally extended goals: LTL over finite and infinite traces. In: AAAI, pp. 3716\u20133724 (2017)","DOI":"10.1609\/aaai.v31i1.11058"},{"key":"4_CR12","doi-asserted-by":"crossref","unstructured":"Camacho, A., Baier, J.A., Muise, C.J., McIlraith, S.A.: Finite LTL synthesis as planning. In: ICAPS (2018, to appear)","DOI":"10.24963\/ijcai.2018\/848"},{"key":"4_CR13","doi-asserted-by":"crossref","unstructured":"Mattm\u00fcller, R., Ortlieb, M., Helmert, M., Bercher, P.: Pattern database heuristics for fully observable nondeterministic planning. In: ICAPS, pp. 105\u2013112 (2010)","DOI":"10.1609\/icaps.v20i1.13408"},{"key":"4_CR14","doi-asserted-by":"crossref","unstructured":"Muise, C., McIlraith, S.A., Beck, J.C.: Improved non-deterministic planning by exploiting state relevance. In: ICAPS, pp. 172\u2013180 (2012)","DOI":"10.1609\/icaps.v22i1.13520"},{"issue":"2","key":"4_CR15","doi-asserted-by":"publisher","first-page":"1","DOI":"10.2200\/S00513ED1V01Y201306AIM022","volume":"7","author":"H Geffner","year":"2013","unstructured":"Geffner, H., Bonet, B.: A concise introduction to models and methods for automated planning. Synth. Lectu. Artif. Intell. Mach. Learn. 7(2), 1\u2013141 (2013)","journal-title":"Synth. Lectu. Artif. Intell. Mach. Learn."},{"key":"4_CR16","unstructured":"De Giacomo, G., Vardi, M.Y.: Linear temporal logic and linear dynamic logic on finite traces. In: IJCAI (2013)"},{"issue":"1","key":"4_CR17","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1006\/inco.1994.1092","volume":"115","author":"MY Vardi","year":"1994","unstructured":"Vardi, M.Y., Wolper, P.: Reasoning about infinite computations. Inf. Comput. 115(1), 1\u201337 (1994)","journal-title":"Inf. Comput."},{"key":"4_CR18","unstructured":"Baier, J.A., McIlraith, S.A.: Planning with temporally extended goals using heuristic search. In: ICAPS, pp. 342\u2013345 (2006)"},{"key":"4_CR19","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-04617-9_1","volume-title":"KI 2009: Advances in Artificial Intelligence","author":"P Kissmann","year":"2009","unstructured":"Kissmann, P., Edelkamp, S.: Solving fully-observable non-deterministic planning problems via translation into a general game. In: Mertsching, B., Hund, M., Aziz, Z. (eds.) KI 2009. LNCS (LNAI), vol. 5803, pp. 1\u20138. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-04617-9_1"},{"issue":"12\u201313","key":"4_CR20","doi-asserted-by":"publisher","first-page":"1031","DOI":"10.1016\/j.artint.2006.08.002","volume":"170","author":"J Rintanen","year":"2006","unstructured":"Rintanen, J., Heljanko, K., Niemel\u00e4, I.: Planning as satisfiability: parallel plans and algorithms for plan search. Artif. Intell. AIJ 170(12\u201313), 1031\u20131080 (2006)","journal-title":"Artif. Intell. AIJ"},{"key":"4_CR21","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/4074.001.0001","volume-title":"Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems","author":"R Reiter","year":"2001","unstructured":"Reiter, R.: Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems. MIT Press, Cambridge (2001)"},{"key":"4_CR22","doi-asserted-by":"crossref","unstructured":"Duret-Lutz, A., Lewkowicz, A., Fauchille, A., Michaud, T., Renault, E., Xu, L.: Spot 2.0 - a framework for LTL and $$\\omega $$-automata manipulation. In: ATVA, pp. 122\u2013129 (2016)","DOI":"10.1007\/978-3-319-46520-3_8"}],"container-title":["Lecture Notes in Computer Science","Advances in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-89656-4_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,13]],"date-time":"2024-03-13T18:34:39Z","timestamp":1710354879000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-89656-4_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319896557","9783319896564"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-89656-4_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]},"assertion":[{"value":"6 April 2018","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"Canadian AI","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Canadian Conference on Artificial Intelligence","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Toronto","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Canada","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2018","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"8 May 2018","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"11 May 2018","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"31","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"canadianai2018","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.caiac.ca\/en\/conferences\/canadianai-2018\/home","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}