{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,11,16]],"date-time":"2024-11-16T05:16:58Z","timestamp":1731734218463,"version":"3.28.0"},"publisher-location":"Cham","reference-count":37,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031562549"},{"type":"electronic","value":"9783031562556"}],"license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024]]},"DOI":"10.1007\/978-3-031-56255-6_6","type":"book-chapter","created":{"date-parts":[[2024,3,29]],"date-time":"2024-03-29T11:01:47Z","timestamp":1711710107000},"page":"97-122","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Plan Generation via\u00a0Behavior Trees Obtained from\u00a0Goal-Oriented LTLf Formulas"],"prefix":"10.1007","author":[{"ORCID":"http:\/\/orcid.org\/0000-0003-0039-8832","authenticated-orcid":false,"given":"Aadesh","family":"Neupane","sequence":"first","affiliation":[]},{"ORCID":"http:\/\/orcid.org\/0000-0002-2489-5705","authenticated-orcid":false,"given":"Michael A.","family":"Goodrich","sequence":"additional","affiliation":[]},{"ORCID":"http:\/\/orcid.org\/0000-0002-2264-2958","authenticated-orcid":false,"given":"Eric G.","family":"Mercer","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2024,3,30]]},"reference":[{"key":"6_CR1","unstructured":"Ahmadi, M., Sharan, R., Burdick, J.W.: Stochastic finite state control of POMDPs with LTL specifications. arXiv preprint arXiv:2001.07679 (2020)"},{"key":"6_CR2","doi-asserted-by":"crossref","unstructured":"Antoniotti, M., Mishra, B.: Discrete event models+ temporal logic= supervisory controller: automatic synthesis of locomotion controllers. In: Proceedings of 1995 IEEE International Conference on Robotics and Automation, vol. 2, pp. 1441\u20131446. IEEE (1995)","DOI":"10.1109\/ROBOT.1995.525480"},{"issue":"1\u20132","key":"6_CR3","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1023\/A:1018985923441","volume":"22","author":"F Bacchus","year":"1998","unstructured":"Bacchus, F., Kabanza, F.: Planning for temporally extended goals. Ann. Math. Artif. Intell. 22(1\u20132), 5\u201327 (1998)","journal-title":"Ann. Math. Artif. Intell."},{"key":"6_CR4","unstructured":"Barnat, J., et al.: How to distribute LTL model-checking using decomposition of negative claim automaton. In: SOFSEM, pp. 9\u201314 (2002)"},{"key":"6_CR5","unstructured":"Bertoli, P., Cimatti, A., Pistore, M., Roveri, M., Traverso, P.: MBP: a model based planner. In: Proceedings of the IJCAI-01 Workshop on Planning under Uncertainty and Incomplete Information (2001)"},{"issue":"2","key":"6_CR6","doi-asserted-by":"publisher","first-page":"2341","DOI":"10.1109\/LRA.2020.2970634","volume":"5","author":"O Biggar","year":"2020","unstructured":"Biggar, O., Zamani, M.: A framework for formal verification of behavior trees with linear temporal logic. IEEE Robot. Autom. Lett. 5(2), 2341\u20132348 (2020)","journal-title":"IEEE Robot. Autom. Lett."},{"issue":"2","key":"6_CR7","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3511606","volume":"6","author":"O Biggar","year":"2022","unstructured":"Biggar, O., Zamani, M., Shames, I.: On modularity in reactive control architectures, with an application to formal verification. ACM Trans. Cyber-Phys. Syst. (TCPS) 6(2), 1\u201336 (2022)","journal-title":"ACM Trans. Cyber-Phys. Syst. (TCPS)"},{"key":"6_CR8","unstructured":"Chevalier-Boisvert, M., Willems, L., Pal, S.: Minimalistic gridworld environment for gymnasium (2018). www.github.com\/Farama-Foundation\/Minigrid"},{"key":"6_CR9","doi-asserted-by":"crossref","unstructured":"Colledanchise, M., Murray, R.M., \u00d6gren, P.: Synthesis of correct-by-construction behavior trees. In: 2017 IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS), pp. 6039\u20136046. IEEE (2017)","DOI":"10.1109\/IROS.2017.8206502"},{"key":"6_CR10","doi-asserted-by":"crossref","unstructured":"Colledanchise, M., \u00d6gren, P.: How behavior trees generalize the teleo-reactive paradigm and and-or-trees. In: 2016 IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS), pp. 424\u2013429. IEEE (2016)","DOI":"10.1109\/IROS.2016.7759089"},{"key":"6_CR11","doi-asserted-by":"crossref","unstructured":"Colledanchise, M., \u00d6gren, P.: Behavior Trees in Robotics and AI: An Introduction. CRC Press, Boca Raton (2018)","DOI":"10.1201\/9780429489105"},{"issue":"1","key":"6_CR12","doi-asserted-by":"publisher","first-page":"3515","DOI":"10.3182\/20110828-6-IT-1002.02287","volume":"44","author":"XCD Ding","year":"2011","unstructured":"Ding, X.C.D., Smith, S.L., Belta, C., Rus, D.: LTL control in uncertain environments with probabilistic satisfaction guarantees. IFAC Proc. Vol. 44(1), 3515\u20133520 (2011)","journal-title":"IFAC Proc. Vol."},{"key":"6_CR13","doi-asserted-by":"crossref","unstructured":"Fainekos, G.E., Kress-Gazit, H., Pappas, G.J.: Hybrid controllers for path planning: a temporal logic approach. In: Proceedings of the 44th IEEE Conference on Decision and Control, pp. 4885\u20134890. IEEE (2005)","DOI":"10.1109\/CDC.2005.1582935"},{"key":"6_CR14","doi-asserted-by":"crossref","unstructured":"Fainekos, G.E., Kress-Gazit, H., Pappas, G.J.: Temporal logic motion planning for mobile robots. In: Proceedings of the 2005 IEEE International Conference on Robotics and Automation, pp. 2020\u20132025. IEEE (2005)","DOI":"10.1109\/ROBOT.2005.1570410"},{"key":"6_CR15","unstructured":"Favorito, M., Cipollone, R.: Flloat (2020). www.whitemech.github.io\/flloat\/"},{"key":"6_CR16","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1613\/jair.649","volume":"13","author":"RM Jensen","year":"2000","unstructured":"Jensen, R.M., Veloso, M.M.: OBDD-based universal planning for synchronized agents in non-deterministic domains. J. Artif. Intell. Res. 13, 189\u2013226 (2000)","journal-title":"J. Artif. Intell. Res."},{"issue":"2","key":"6_CR17","doi-asserted-by":"publisher","first-page":"182","DOI":"10.1016\/j.tcs.2006.07.022","volume":"363","author":"J Klein","year":"2006","unstructured":"Klein, J., Baier, C.: Experiments with deterministic $$\\omega $$-automata for formulas of linear temporal logic. Theoret. Comput. Sci. 363(2), 182\u2013195 (2006)","journal-title":"Theoret. Comput. Sci."},{"key":"6_CR18","doi-asserted-by":"crossref","unstructured":"Lahijanian, M., Wasniewski, J., Andersson, S.B., Belta, C.: Motion planning and control from temporal logic specifications with probabilistic satisfaction guarantees. In: 2010 IEEE International Conference on Robotics and Automation, pp. 3227\u20133232. IEEE (2010)","DOI":"10.1109\/ROBOT.2010.5509686"},{"issue":"8","key":"6_CR19","doi-asserted-by":"publisher","first-page":"408","DOI":"10.1016\/j.ipl.2014.03.001","volume":"114","author":"GP Mareti\u0107","year":"2014","unstructured":"Mareti\u0107, G.P., Dashti, M.T., Basin, D.: LTL is closed under topological closure. Inf. Process. Lett. 114(8), 408\u2013413 (2014)","journal-title":"Inf. Process. Lett."},{"key":"6_CR20","doi-asserted-by":"crossref","unstructured":"Marzinotto, A., Colledanchise, M., Smith, C., \u00d6gren, P.: Towards a unified behavior trees framework for robot control. In: 2014 IEEE International Conference on Robotics and Automation (ICRA), pp. 5420\u20135427. IEEE (2014)","DOI":"10.1109\/ICRA.2014.6907656"},{"key":"6_CR21","unstructured":"Parr, R., Russell, S.J.: Reinforcement learning with hierarchies of machines. In: Advances in Neural Information Processing Systems, pp. 1043\u20131049 (1998)"},{"key":"6_CR22","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"364","DOI":"10.1007\/11609773_24","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"N Piterman","year":"2006","unstructured":"Piterman, N., Pnueli, A., Sa\u2019ar, Y.: Synthesis of reactive (1) designs. In: Emerson, E.A., Namjoshi, K.S. (eds.) VMCAI 2006. LNCS, vol. 3855, pp. 364\u2013380. Springer, Heidelberg (2006). https:\/\/doi.org\/10.1007\/11609773_24"},{"key":"6_CR23","doi-asserted-by":"crossref","unstructured":"Pnueli, A.: The temporal logic of programs. In: 18th Annual Symposium on Foundations of Computer Science (SFCS 1977), pp. 46\u201357. IEEE (1977)","DOI":"10.1109\/SFCS.1977.32"},{"key":"6_CR24","doi-asserted-by":"crossref","unstructured":"Pnueli, A., Rosner, R.: On the synthesis of a reactive module. In: Proceedings of the 16th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 179\u2013190 (1989)","DOI":"10.1145\/75277.75293"},{"key":"6_CR25","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"417","DOI":"10.1007\/978-3-642-21437-0_31","volume-title":"Formal Methods","author":"KY Rozier","year":"2011","unstructured":"Rozier, K.Y., Vardi, M.Y.: A multi-encoding approach for LTL symbolic satisfiability checking. In: Butler, M., Schulte, W. (eds.) FM 2011. LNCS, vol. 6664, pp. 417\u2013431. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-21437-0_31"},{"key":"6_CR26","volume-title":"Artificial Intelligence a Modern Approach","author":"SJ Russell","year":"2010","unstructured":"Russell, S.J.: Artificial Intelligence a Modern Approach. Pearson Education Inc., London (2010)"},{"key":"6_CR27","doi-asserted-by":"crossref","unstructured":"Sadigh, D., Kim, E.S., Coogan, S., Sastry, S.S., Seshia, S.A.: A learning based approach to control synthesis of Markov decision processes for linear temporal logic specifications. In: 53rd IEEE Conference on Decision and Control, pp. 1091\u20131096. IEEE (2014)","DOI":"10.1109\/CDC.2014.7039527"},{"key":"6_CR28","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1007\/978-3-319-73008-0_18","volume-title":"Distributed Autonomous Robotic Systems","author":"P Schillinger","year":"2018","unstructured":"Schillinger, P., B\u00fcrger, M., Dimarogonas, D.V.: Decomposition of finite LTL specifications for efficient multi-agent planning. In: Grob, R., et al. (eds.) Distributed Autonomous Robotic Systems, pp. 253\u2013267. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-73008-0_18"},{"issue":"5","key":"6_CR29","doi-asserted-by":"publisher","first-page":"495","DOI":"10.1007\/BF01211865","volume":"6","author":"AP Sistla","year":"1994","unstructured":"Sistla, A.P.: Safety, liveness and fairness in temporal logic. Formal Aspects Comput. 6(5), 495\u2013511 (1994)","journal-title":"Formal Aspects Comput."},{"key":"6_CR30","unstructured":"Stonier, D., Staniasnek, M.: Py-trees (2020). www.py-trees.readthedocs.io\/en\/devel\/index.html"},{"issue":"1\u20132","key":"6_CR31","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1016\/S0004-3702(99)00052-1","volume":"112","author":"RS Sutton","year":"1999","unstructured":"Sutton, R.S., Precup, D., Singh, S.: Between MDPs and semi-MDPs: a framework for temporal abstraction in reinforcement learning. Artif. Intell. 112(1\u20132), 181\u2013211 (1999)","journal-title":"Artif. Intell."},{"key":"6_CR32","doi-asserted-by":"publisher","DOI":"10.1016\/j.eswa.2022.117022","volume":"201","author":"TG Tadewos","year":"2022","unstructured":"Tadewos, T.G., Newaz, A.A.R., Karimoddini, A.: Specification-guided behavior tree synthesis and execution for coordination of autonomous systems. Expert Syst. Appl. 201, 117022 (2022)","journal-title":"Expert Syst. Appl."},{"key":"6_CR33","unstructured":"Toro Icarte, R., Klassen, T.Q., Valenzano, R., McIlraith, S.A.: Teaching multiple tasks to an RL agent using LTL. In: Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, pp. 452\u2013461 (2018)"},{"key":"6_CR34","unstructured":"Van Riemsdijk, M.B., Dastani, M., Winikoff, M.: Goals in agent systems: a unifying framework. In: Proceedings of the 7th International Joint Conference on Autonomous Agents and Multiagent Systems-Volume 2, pp. 713\u2013720. International Foundation for Autonomous Agents and Multiagent Systems (2008)"},{"key":"6_CR35","doi-asserted-by":"crossref","unstructured":"Vasile, C.I., Belta, C.: Sampling-based temporal logic path planning. In: 2013 IEEE\/RSJ International Conference on Intelligent Robots and Systems, pp. 4817\u20134822. IEEE (2013)","DOI":"10.1109\/IROS.2013.6697051"},{"key":"6_CR36","unstructured":"Vazquez-Chanlatte, M., Jha, S., Tiwari, A., Ho, M.K., Seshia, S.: Learning task specifications from demonstrations. In: Advances in Neural Information Processing Systems, pp. 5367\u20135377 (2018)"},{"key":"6_CR37","unstructured":"Wise, M., Ferguson, M., King, D., Diehr, E., Dymesich, D.: Fetch and freight: standard platforms for service robot applications. In: Workshop on Autonomous Mobile Service Robots, pp. 1\u20136 (2016)"}],"container-title":["Lecture Notes in Computer Science","Autonomous Agents and Multiagent Systems. Best and Visionary Papers"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-56255-6_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,11,15]],"date-time":"2024-11-15T07:45:31Z","timestamp":1731656731000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-56255-6_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9783031562549","9783031562556"],"references-count":37,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-56255-6_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2024]]},"assertion":[{"value":"30 March 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"AAMAS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Autonomous Agents and Multiagent Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"London","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"United Kingdom","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2023","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"29 May 2023","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"29 May 2023","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"atal2023","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/aamas2023.soton.ac.uk\/program\/accepted-workshops\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}