{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,13]],"date-time":"2026-02-13T23:44:41Z","timestamp":1771026281379,"version":"3.50.1"},"reference-count":24,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2024,7,26]],"date-time":"2024-07-26T00:00:00Z","timestamp":1721952000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,7,26]],"date-time":"2024-07-26T00:00:00Z","timestamp":1721952000000},"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":["Ann Math Artif Intell"],"published-print":{"date-parts":[[2025,8]]},"DOI":"10.1007\/s10472-024-09949-3","type":"journal-article","created":{"date-parts":[[2024,7,26]],"date-time":"2024-07-26T17:02:01Z","timestamp":1722013321000},"page":"541-567","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Tumato 2.0 - a constraint-based planning approach for safe and robust robot behavior"],"prefix":"10.1007","volume":"93","author":[{"given":"Jan","family":"Vermaelen","sequence":"first","affiliation":[]},{"given":"Tom","family":"Holvoet","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2024,7,26]]},"reference":[{"key":"9949_CR1","unstructured":"Buysse, L., Whiteley, S., Vankeirsbilck, J., et al.: Case study analysis of stpa on an industrial cooperative robot and an autonomous mobile robot. In: The Future of Safe Systems-Proceedings of the Safety-Critical Systems Symposium, SCSC on Amazon, pp. 83\u2013104 (2023). https:\/\/lirias.kuleuven.be\/retrieve\/708014"},{"key":"9949_CR2","unstructured":"Camacho, A., Triantafillou, E., Muise, C.J., et al.: Non-deterministic planning with temporally extended goals: completing the story for finite and infinite ltl. In: Proceedings of the Workshop on Knowledge-based Techniques for Problem Solving and Reasoning co-located with 25th International Joint Conference on Artificial Intelligence (IJCAI 2016), New York City, USA, July 10, 2016 (2016). https:\/\/ceur-ws.org\/Vol-1648\/paper10.pdf"},{"key":"9949_CR3","doi-asserted-by":"publisher","unstructured":"Canal, G., Cashmore, M., Krivi\u0107, S., et al.: Probabilistic planning for robotics with rosplan. In: Towards Autonomous Robotic Systems: 20th Annual Conference, TAROS 2019, London, UK, July 3\u20135, 2019, Proceedings, Part I 20, pp. 236\u2013250. Springer (2019). https:\/\/doi.org\/10.1007\/978-3-030-23807-0_20","DOI":"10.1007\/978-3-030-23807-0_20"},{"key":"9949_CR4","doi-asserted-by":"publisher","unstructured":"Cashmore, M., Fox, M., Long, D., et al.: Rosplan: planning in the robot operating system. In: Proceedings of the International Conference on Automated Planning and Scheduling, pp. 333\u2013341 (2015). https:\/\/doi.org\/10.1609\/icaps.v25i1.13699","DOI":"10.1609\/icaps.v25i1.13699"},{"issue":"1\u20133","key":"9949_CR5","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1016\/0004-3702(91)90006-6","volume":"49","author":"R Dechter","year":"1991","unstructured":"Dechter, R., Meiri, I., Pearl, J.: Temporal constraint networks. Artif. Intell. 49(1\u20133), 61\u201395 (1991). https:\/\/doi.org\/10.1016\/0004-3702(91)90006-6","journal-title":"Artif. Intell."},{"key":"9949_CR6","unstructured":"Dinh, H.T., Cruz Torres, M.H., Holvoet, T.: Sound and complete reactive uav behavior using constraint programming (2017). https:\/\/lirias.kuleuven.be\/retrieve\/470086"},{"issue":"3","key":"9949_CR7","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1609\/aimag.v22i3.1581","volume":"22","author":"P Doherty","year":"2001","unstructured":"Doherty, P., Kvarnstr\u00f6m, J.: Talplanner: a temporal logic-based planner. AI Mag. 22(3), 95\u201395 (2001). https:\/\/doi.org\/10.1609\/aimag.v22i3.1581","journal-title":"AI Mag."},{"key":"9949_CR8","unstructured":"Doherty, P., Gustafsson, J., Karlsson, L., et al.: Tal: temporal action logics language specification and tutorial. Electron. Trans. Artif. Intell. (1998). http:\/\/www.ep.liu.se\/ej\/etai\/1998\/009\/"},{"key":"9949_CR9","doi-asserted-by":"publisher","unstructured":"Emerson, E.A.: Temporal and modal logic. In: Formal Models and Semantics, pp. 995\u20131072. Elsevier (1990). https:\/\/doi.org\/10.1016\/B978-0-444-88074-1.50021-4","DOI":"10.1016\/B978-0-444-88074-1.50021-4"},{"key":"9949_CR10","doi-asserted-by":"publisher","unstructured":"Figat, M., Zieli\u0144ski, C., Hexel, R.: Fsm based specification of robot control system activities. In: 2017 11th International Workshop on Robot Motion and Control (RoMoCo), pp. 193\u2013198. IEEE (2017). https:\/\/doi.org\/10.1109\/RoMoCo.2017.8003912","DOI":"10.1109\/RoMoCo.2017.8003912"},{"key":"9949_CR11","doi-asserted-by":"publisher","unstructured":"Geffner, T., Geffner, H.: Compact policies for fully observable non-deterministic planning as sat. In: Proceedings of the International Conference on Automated Planning and Scheduling, pp. 88\u201396 (2018). https:\/\/doi.org\/10.1609\/icaps.v28i1.13880","DOI":"10.1609\/icaps.v28i1.13880"},{"issue":"5\u20136","key":"9949_CR12","doi-asserted-by":"publisher","first-page":"619","DOI":"10.1016\/j.artint.2008.10.012","volume":"173","author":"AE Gerevini","year":"2009","unstructured":"Gerevini, A.E., Haslum, P., Long, D., et al.: Deterministic planning in the fifth international planning competition: Pddl3 and experimental evaluation of the planners. Artif. Intell. 173(5\u20136), 619\u2013668 (2009). https:\/\/doi.org\/10.1016\/j.artint.2008.10.012","journal-title":"Artif. Intell."},{"key":"9949_CR13","doi-asserted-by":"publisher","unstructured":"Ghallab, M., Nau, D., Traverso, P.: Automated Planning and Acting, 1st edn. Cambridge University Press, USA (2016). https:\/\/doi.org\/10.1017\/CBO9781139583923","DOI":"10.1017\/CBO9781139583923"},{"key":"9949_CR14","doi-asserted-by":"publisher","first-page":"417","DOI":"10.1146\/annurev-control-082619-100135","volume":"3","author":"E Karpas","year":"2020","unstructured":"Karpas, E., Magazzeni, D.: Automated planning for robotics. Annu. Rev. Control Robot. Auton. Syst. 3, 417\u2013439 (2020). https:\/\/doi.org\/10.1146\/annurev-control-082619-100135","journal-title":"Annu. Rev. Control Robot. Auton. Syst."},{"key":"9949_CR15","unstructured":"Leveson, N.G.: Engineering a safer world: systems thinking applied to safety. The MIT Press (2016)"},{"key":"9949_CR16","unstructured":"Leveson, N.G., Thomas, J.P.: STPA Handbook. MIT (2018). http:\/\/psas.scripts.mit.edu\/home\/get file.php?name=STPA_handbook.pdf"},{"key":"9949_CR17","doi-asserted-by":"publisher","unstructured":"Maniatopoulos, S., Schillinger, P., Pong, V., et al.: Reactive high-level behavior synthesis for an atlas humanoid robot. In: 2016 IEEE International Conference on Robotics and Automation (ICRA), pp. 4192\u20134199. IEEE (2016). https:\/\/doi.org\/10.1109\/ICRA.2016.7487613","DOI":"10.1109\/ICRA.2016.7487613"},{"key":"9949_CR18","doi-asserted-by":"publisher","unstructured":"Nguyen, H., Ciocarlie, M., Hsiao, K., et al.: Ros commander (rosco): behavior creation for home robots. In: 2013 IEEE International Conference on Robotics and Automation, pp. 467\u2013474. IEEE (2013). https:\/\/doi.org\/10.1109\/ICRA.2013.6630616","DOI":"10.1109\/ICRA.2013.6630616"},{"key":"9949_CR19","doi-asserted-by":"publisher","unstructured":"Prud\u2019homme, C., Fages, J.G.: Choco-solver: a java library for constraint programming. J. Open Source Softw. 7(78), 4708 (2022). https:\/\/doi.org\/10.21105\/joss.04708, https:\/\/choco-solver.org","DOI":"10.21105\/joss.04708"},{"key":"9949_CR20","doi-asserted-by":"publisher","DOI":"10.1002\/9780470316887","author":"ML Puterman","year":"2014","unstructured":"Puterman, M.L.: Markov decision processes: discrete stochastic dynamic programming. John Wiley & Sons (2014). https:\/\/doi.org\/10.1002\/9780470316887","journal-title":"John Wiley & Sons"},{"key":"9949_CR21","unstructured":"Tsang, E.: Foundations of constraint satisfaction. Academic Press Limited (1993)"},{"key":"9949_CR22","doi-asserted-by":"publisher","first-page":"26","DOI":"10.4204\/EPTCS.391.5","volume":"391","author":"J Vermaelen","year":"2023","unstructured":"Vermaelen, J., Holvoet, T.: Safe and robust robot behavior planning via constraint programming. Electron. Proc. Theor. Comput. Sci. 391, 26\u201341 (2023). https:\/\/doi.org\/10.4204\/EPTCS.391.5","journal-title":"Electron. Proc. Theor. Comput. Sci."},{"key":"9949_CR23","unstructured":"Vermaelen, J., Dinh, H.T., Holvoet, T.: A survey on probabilistic planning and temporal scheduling with safety guarantees. In: ICAPS Workshop on Planning and Robotics (2020). https:\/\/icaps20subpages.icaps-conference.org\/wp-content\/uploads\/2020\/10\/12-PlanRob_2020_paper_12.pdf"},{"issue":"01","key":"9949_CR24","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1142\/S2301385013500027","volume":"1","author":"T Wongpiromsarn","year":"2013","unstructured":"Wongpiromsarn, T., Topcu, U., Murray, R.M.: Synthesis of control protocols for autonomous systems. Unmanned Syst. 1(01), 21\u201339 (2013). https:\/\/doi.org\/10.1142\/S2301385013500027","journal-title":"Unmanned Syst."}],"container-title":["Annals of Mathematics and Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10472-024-09949-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10472-024-09949-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10472-024-09949-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,27]],"date-time":"2025-09-27T02:12:32Z","timestamp":1758939152000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10472-024-09949-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,7,26]]},"references-count":24,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2025,8]]}},"alternative-id":["9949"],"URL":"https:\/\/doi.org\/10.1007\/s10472-024-09949-3","relation":{},"ISSN":["1012-2443","1573-7470"],"issn-type":[{"value":"1012-2443","type":"print"},{"value":"1573-7470","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,7,26]]},"assertion":[{"value":"14 June 2024","order":1,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"26 July 2024","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"The authors declare no competing interests.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Competing interests"}}]}}