{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T02:53:33Z","timestamp":1743130413425,"version":"3.40.3"},"publisher-location":"Cham","reference-count":16,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031737503"},{"type":"electronic","value":"9783031737510"}],"license":[{"start":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T00:00:00Z","timestamp":1729641600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T00:00:00Z","timestamp":1729641600000},"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":[[2025]]},"DOI":"10.1007\/978-3-031-73751-0_7","type":"book-chapter","created":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T23:02:38Z","timestamp":1729638158000},"page":"64-78","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Adaptive Task Planning and Formal Control Synthesis Using Temporal Logic Trees"],"prefix":"10.1007","author":[{"given":"Yulong","family":"Gao","sequence":"first","affiliation":[]},{"given":"Can","family":"Zhou","sequence":"additional","affiliation":[]},{"given":"Alessandro","family":"Abate","sequence":"additional","affiliation":[]},{"given":"Karl H.","family":"Johansson","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2024,10,23]]},"reference":[{"key":"7_CR1","volume-title":"Principles of Model Checking","author":"C Baier","year":"2008","unstructured":"Baier, C., Katoen, J.P.: Principles of Model Checking. MIT Press, Cambridge (2008)"},{"key":"7_CR2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-17933-9","volume-title":"Set-Theoretic Methods in Control","author":"F Blanchini","year":"2008","unstructured":"Blanchini, F., Miani, S., et al.: Set-Theoretic Methods in Control, vol. 78. Springer, Cham (2008). https:\/\/doi.org\/10.1007\/978-3-319-17933-9"},{"key":"7_CR3","doi-asserted-by":"publisher","unstructured":"Clarke, E.M., Emerson, E.A.: Design and synthesis of synchronization skeletons using branching time temporal logic. In: Workshop on logic of programs, pp. 52\u201371. Springer, Cham (1981). https:\/\/doi.org\/10.1007\/bfb0025774","DOI":"10.1007\/bfb0025774"},{"issue":"3","key":"7_CR4","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1109\/TCNS.2015.2428471","volume":"2","author":"S Coogan","year":"2016","unstructured":"Coogan, S., Gol, E.A., Arcak, M., Belta, C.: Traffic network control from temporal logic specifications. IEEE Trans. Control Netw. Syst. 2(3), 162\u2013171 (2016)","journal-title":"IEEE Trans. Control Netw. Syst."},{"key":"7_CR5","doi-asserted-by":"crossref","unstructured":"Emerson, E.A.: Automata, tableaux, and temporal logics. In: Proceedings of Workshop on Logic of Programs, pp. 79\u201388 (1985)","DOI":"10.1007\/3-540-15648-8_7"},{"issue":"10","key":"7_CR6","doi-asserted-by":"publisher","first-page":"5071","DOI":"10.1109\/TAC.2021.3118335","volume":"67","author":"Y Gao","year":"2022","unstructured":"Gao, Y., Abate, A., Jiang, F.J., Giacobbe, M., Xie, L., Johansson, K.H.: Temporal logic trees for model checking and control synthesis of uncertain discrete-time systems. IEEE Trans. Autom. Control 67(10), 5071\u20135086 (2022)","journal-title":"IEEE Trans. Autom. Control"},{"issue":"2","key":"7_CR7","doi-asserted-by":"publisher","first-page":"1880","DOI":"10.1016\/j.ifacol.2020.12.2572","volume":"53","author":"Y Gao","year":"2020","unstructured":"Gao, Y., Jiang, F.J., Ren, X., Xie, L., Johansson, K.H.: Reachability-based human-in-the-loop control with uncertain specifications. IFAC-Papers Online 53(2), 1880\u20131887 (2020)","journal-title":"IFAC-Papers Online"},{"issue":"61","key":"7_CR8","doi-asserted-by":"publisher","first-page":"3948","DOI":"10.1109\/TAC.2016.2527731","volume":"12","author":"M Guo","year":"2016","unstructured":"Guo, M., Tumov\u00e1, J., Dimarogonas, D.V.: Communication-free multi-agent control under local temporal tasks and relative-distance constraints. IEEE Trans. Autom. Control 12(61), 3948\u20133962 (2016)","journal-title":"IEEE Trans. Autom. Control"},{"key":"7_CR9","doi-asserted-by":"publisher","first-page":"473","DOI":"10.1007\/s10626-019-00297-7","volume":"29","author":"K Hashimoto","year":"2019","unstructured":"Hashimoto, K., Dimarogonas, D.V.: Resource-aware networked control systems under temporal logic specifications. Discret. Event Dyn. Syst. 29, 473 (2019)","journal-title":"Discret. Event Dyn. Syst."},{"issue":"5","key":"7_CR10","doi-asserted-by":"publisher","first-page":"224","DOI":"10.1016\/j.ifacol.2021.04.101","volume":"53","author":"FJ Jiang","year":"2020","unstructured":"Jiang, F.J., Gao, Y., Xie, L., Johansson, K.H.: Human-centered design for safe teleoperation of connected vehicles. IFAC-PapersOnLine 53(5), 224\u2013231 (2020)","journal-title":"IFAC-PapersOnLine"},{"key":"7_CR11","first-page":"1","volume":"141","author":"MO Rabin","year":"1969","unstructured":"Rabin, M.O.: Decidability of second-order theories and automata on infinite trees. Trans. Am. Math. Soc. 141, 1\u201335 (1969)","journal-title":"Trans. Am. Math. Soc."},{"issue":"4","key":"7_CR12","doi-asserted-by":"publisher","first-page":"546","DOI":"10.1109\/TAC.2006.872835","volume":"51","author":"SV Rakovic","year":"2006","unstructured":"Rakovic, S.V., Kerrigan, E.C., Mayne, D.Q., Lygeros, J.: Reachability analysis of discrete-time systems with disturbances. IEEE Trans. Autom. Control 51(4), 546\u2013561 (2006)","journal-title":"IEEE Trans. Autom. Control"},{"key":"7_CR13","doi-asserted-by":"crossref","unstructured":"Raman, V., Donz\u00e9, A., Maasoumy, M., Murray, R.M., Sangiovanni-Vincentelli, A., Seshia, S.A.: Model predictive control with signal temporal logic specifications. In: 53rd IEEE Conference on Decision and Control, pp. 81\u201387. IEEE (2014)","DOI":"10.1109\/CDC.2014.7039363"},{"key":"7_CR14","doi-asserted-by":"crossref","unstructured":"Sessa, P.G., Frick, D., Wood, T.A., Kamgarpour, M.: From uncertainty data to robust policies for temporal logic planning. In: Proceedings of ACM International Conference on Hybrid Systems: Computation and Control, pp. 157\u2013166 (2018)","DOI":"10.1145\/3178126.3178136"},{"issue":"33","key":"7_CR15","doi-asserted-by":"publisher","first-page":"1593","DOI":"10.1177\/0278364914537008","volume":"12","author":"A Ulusoy","year":"2014","unstructured":"Ulusoy, A., Belta, C.: Receding horizon temporal logic control in dynamic environments. Int. J. Robot. Res. 12(33), 1593\u20131607 (2014)","journal-title":"Int. J. Robot. Res."},{"key":"7_CR16","doi-asserted-by":"crossref","unstructured":"Vardi, M.Y.: An automata-theoretic approach to linear temporal logic. In: Moller, F., Birtwistle, G. (eds.) Logics for Concurrency, pp. 238\u2013266. Springer (1996)","DOI":"10.1007\/3-540-60915-6_6"}],"container-title":["Lecture Notes in Computer Science","Real Time and Such"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-73751-0_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T23:03:17Z","timestamp":1729638197000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-73751-0_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,10,23]]},"ISBN":["9783031737503","9783031737510"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-73751-0_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2024,10,23]]},"assertion":[{"value":"23 October 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}