{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T02:32:04Z","timestamp":1743129124672,"version":"3.40.3"},"publisher-location":"Cham","reference-count":34,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030385606"},{"type":"electronic","value":"9783030385613"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"tdm","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":[[2020]]},"DOI":"10.1007\/978-3-030-38561-3_12","type":"book-chapter","created":{"date-parts":[[2020,3,25]],"date-time":"2020-03-25T18:02:52Z","timestamp":1585159372000},"page":"231-248","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Design of Timeline-Based Planning Systems for Safe Human-Robot Collaboration"],"prefix":"10.1007","author":[{"given":"Andrea","family":"Orlandini","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marta","family":"Cialdea Mayer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alessandro","family":"Umbrico","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Amedeo","family":"Cesta","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2020,3,26]]},"reference":[{"key":"12_CR1","unstructured":"Freitag, M., Hildebrandt, T.: Automatic design of scheduling rules for complex manufacturing systems by multi-objective simulation-based optimization. {CIRP} Annals - Manufacturing Technology 65(1) (2016) 433\u2013436"},{"issue":"1","key":"12_CR2","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s10009-013-0294-x","volume":"16","author":"S Bensalem","year":"2014","unstructured":"Bensalem, S., Havelund, K., Orlandini, A.: Verification and validation meet planning and scheduling. International Journal on Software Tools for Technology Transfer 16(1) (2014) 1\u201312","journal-title":"International Journal on Software Tools for Technology Transfer"},{"key":"12_CR3","doi-asserted-by":"crossref","unstructured":"La Viola, C., Orlandini, A., Umbrico, A., Cesta, A.: ROS-TiPlEx: How to make experts in A.I. planning and robotics talk together and be happy. In: 28th IEEE International Conference on Robot and Human Interactive Communication (RO-MAN), New Delhi, India, 2019, pp. 1\u20136. http:\/\/dx.doi.org\/10.1109\/RO-MAN46459.2019.8956417","DOI":"10.1109\/RO-MAN46459.2019.8956417"},{"key":"12_CR4","unstructured":"Cesta, A., Cortellessa, G., Fratini, S., Oddi, A.: Developing an End-to-End Planning Application from a Timeline Representation Framework. In: IAAI-09. Proc. of the 21st Innovative Application of Artificial Intelligence Conference, Pasadena, CA, USA. (2009)"},{"key":"12_CR5","unstructured":"Maler, O., Pnueli, A., Sifakis, J.: On the Synthesis of Discrete Controllers for Timed Systems. In: STACS. LNCS, Springer (1995) 229\u2013242"},{"issue":"3","key":"12_CR6","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1017\/S0269888910000160","volume":"25","author":"A Cesta","year":"2010","unstructured":"Cesta, A., Finzi, A., Fratini, S., Orlandini, A., Tronci, E.: Validation and Verification Issues in a Timeline-Based Planning System. Knowledge Engineering Review 25(3) (2010) 299\u2013318","journal-title":"Knowledge Engineering Review"},{"key":"12_CR7","unstructured":"Orlandini, A., Suriano, M., Cesta, A., Finzi, A.: Controller synthesis for safety critical planning. In: IEEE 25th International Conference on Tools with Artificial Intelligence (ICTAI 2013), IEEE (2013) 306\u2013313"},{"key":"12_CR8","unstructured":"Py, F., Rajan, K., McGann, C.: A systematic agent framework for situated autonomous systems. In: AAMAS. (2010) 583\u2013590"},{"key":"12_CR9","unstructured":"Lemai, S., Ingrand, F.: Interleaving Temporal Planning and Execution in Robotics Domains. In: AAAI-04. (2004) 617\u2013622"},{"key":"12_CR10","unstructured":"Barreiro, J., Boyce, M., Do, M., Frank, J., Iatauro, M., Kichkaylo, T., Morris, P., Ong, J., Remolina, E., Smith, T., Smith, D.: EUROPA: A Platform for AI Planning, Scheduling, Constraint Programming, and Optimization. In: ICKEPS 2012: the 4th Int. Competition on Knowledge Engineering for Planning and Scheduling. (2012)"},{"key":"12_CR11","unstructured":"Ghallab, M., Laruelle, H.: Representation and control in IxTeT, a temporal planner. In: 2nd Int. Conf. on Artificial Intelligence Planning and Scheduling (AIPS). (1994) 61\u201367"},{"key":"12_CR12","first-page":"1193","volume":"2005","author":"PH Morris","year":"2005","unstructured":"Morris, P.H., Muscettola, N.: Temporal Dynamic Controllability Revisited. In: Proc. of AAAI 2005. (2005) 1193\u20131198","journal-title":"In: Proc. of AAAI"},{"key":"12_CR13","doi-asserted-by":"crossref","unstructured":"Cesta, A., Orlandini, A., Bernardi, G., Umbrico, A.: Towards a planning-based framework for symbiotic human-robot collaboration. In: 21th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), IEEE (2016)","DOI":"10.1109\/ETFA.2016.7733585"},{"key":"12_CR14","unstructured":"Umbrico, A., Cesta, A., Cialdea Mayer, M., Orlandini, A.: PLATINUM: A new Framework for Planning and Acting. In: AI*IA 2016 Advances in Artificial Intelligence: XVth International Conference of the Italian Association for Artificial Intelligence, Genova, Italy, November 29 \u2013 December 1, 2016, Proceedings, Springer International Publishing (2017) 508\u2013522"},{"key":"12_CR15","doi-asserted-by":"crossref","unstructured":"Umbrico, A., Cesta, A., Cialdea Mayer, M., Orlandini, A.: Integrating resource management and timeline-based planning. In: The 28th International Conference on Automated Planning and Scheduling (ICAPS). (2018)","DOI":"10.1609\/icaps.v28i1.13905"},{"issue":"1","key":"12_CR16","doi-asserted-by":"publisher","first-page":"87","DOI":"10.3233\/IA-140063","volume":"8","author":"A Orlandini","year":"2014","unstructured":"Orlandini, A., Bernardi, G., Cesta, A., Finzi, A.: Planning meets verification and validation in a knowledge engineering environment. Intelligenza Artificiale 8(1) (2014) 87\u2013100","journal-title":"Intelligenza Artificiale"},{"key":"12_CR17","unstructured":"Cesta, A., Cortellessa, G., Fratini, S., Oddi, A., Policella, N.: An Innovative Product for Space Mission Planning: An A Posteriori Evaluation. In: ICAPS. (2007) 57\u201364"},{"key":"12_CR18","unstructured":"Jonsson, A., Morris, P., Muscettola, N., Rajan, K., Smith, B.: Planning in Interplanetary Space: Theory and Practice. In: AIPS-00. Proceedings of the Fifth Int. Conf. on AI Planning and Scheduling. (2000)"},{"key":"12_CR19","unstructured":"Muscettola, N.: HSTS: Integrating Planning and Scheduling. In Zweben, M. and Fox, M.S., ed.: Intelligent Scheduling. Morgan Kauffmann (1994)"},{"issue":"1","key":"12_CR20","first-page":"23","volume":"11","author":"T Vidal","year":"1999","unstructured":"Vidal, T., Fargier, H.: Handling Contingency in Temporal Constraint Networks: From Consistency To Controllabilities. JETAI 11(1) (1999) 23\u201345","journal-title":"JETAI"},{"issue":"6\u20138","key":"12_CR21","doi-asserted-by":"publisher","first-page":"649","DOI":"10.1007\/s00236-015-0252-z","volume":"53","author":"M Cialdea Mayer","year":"2016","unstructured":"Cialdea Mayer, M., Orlandini, A., Umbrico, A.: Planning and execution with flexible timelines: a formal account. Acta Informatica 53(6\u20138) (2016) 649\u2013680","journal-title":"Acta Informatica"},{"issue":"11","key":"12_CR22","doi-asserted-by":"publisher","first-page":"832","DOI":"10.1145\/182.358434","volume":"26","author":"JF Allen","year":"1983","unstructured":"Allen, J.F.: Maintaining knowledge about temporal intervals. Commun. ACM 26(11) (1983) 832\u2013843","journal-title":"Commun. ACM"},{"key":"12_CR23","unstructured":"Umbrico, A., Cesta, A., Cortellessa, G., Orlandini, A.: A goal triggering mechanism for continuous human-robot interaction. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 11298 LNAI (2018) 460\u2013473"},{"key":"12_CR24","doi-asserted-by":"crossref","unstructured":"Cesta, A., Finzi, A., Fratini, S., Orlandini, A., Tronci, E.: Flexible Timeline-Based Plan Verification. In: KI 2009: Advances in Artificial Intelligence. Volume 5803 of LNAI. (2009)","DOI":"10.1007\/978-3-642-04617-9_7"},{"key":"12_CR25","unstructured":"Cesta, A., Finzi, A., Fratini, S., Orlandini, A., Tronci, E.: Analyzing Flexible Timeline Plan. In: ECAI 2010. Proceedings of the 19th European Conference on Artificial Intelligence. Volume 215., IOS Press (2010)"},{"key":"12_CR26","unstructured":"Orlandini, A., Finzi, A., Cesta, A., Fratini, S.: TGA-based controllers for flexible plan execution. In: KI 2011: Advances in Artificial Intelligence, 34th Annual German Conference on AI. Volume 7006 of Lecture Notes in Computer Science., Springer (2011) 233\u2013245"},{"key":"12_CR27","unstructured":"Behrmann, G., Cougnard, A., David, A., Fleury, E., Larsen, K., Lime, D.: UPPAAL-TIGA: Time for playing games! In: Proc. of CAV-07. Number 4590 in LNCS, Springer (2007) 121\u2013125"},{"issue":"1\u20132","key":"12_CR28","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1007\/s100090050010","volume":"1","author":"KG Larsen","year":"1997","unstructured":"Larsen, K.G., Pettersson, P., Yi, W.: UPPAAL in a Nutshell. International Journal on Software Tools for Technology Transfer 1(1\u20132) (1997) 134\u2013152","journal-title":"International Journal on Software Tools for Technology Transfer"},{"key":"12_CR29","unstructured":"Marvel, J.A., Falco, J., Marstio, I.: Characterizing task-based human-robot collaboration safety in manufacturing. IEEE Trans. Systems, Man, and Cybernetics: Systems 45(2) (2015) 260\u2013275"},{"key":"12_CR30","unstructured":"Helms, E., Schraft, R.D., Hagele, M.: rob@work: Robot assistant in industrial environments. In: Proceedings. 11th IEEE International Workshop on Robot and Human Interactive Communication. (2002) 399\u2013404"},{"key":"12_CR31","doi-asserted-by":"crossref","unstructured":"Maurtua, I., Pedrocchi, N., Orlandini, A., Fern\u00e1ndez, J.d.G., Vogel, C., Geenen, A., Althoefer, K., Shafti, A.: Fourbythree: Imagine humans and robots working hand in hand. In: 2016 IEEE 21st International Conference on Emerging Technologies and Factory Automation (ETFA). (Sept 2016) 1\u20138","DOI":"10.1109\/ETFA.2016.7733583"},{"key":"12_CR32","unstructured":"Cesta, A., Orlandini, A., Umbrico, A.: Fostering robust human-robot collaboration through AI task planning. Procedia CIRP 72 (2018) 1045\u20131050 51st CIRP Conference on Manufacturing Systems."},{"key":"12_CR33","unstructured":"Pellegrinelli, S., Moro, F.L., Pedrocchi, N., Tosatti, L.M., Tolio, T.: A probabilistic approach to workspace sharing for human\u2013robot cooperation in assembly tasks. {CIRP} Annals - Manufacturing Technology 65(1) (2016) 57\u201360"},{"key":"12_CR34","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.cirp.2017.04.095","volume":"66","author":"S Pellegrinelli","year":"2017","unstructured":"Pellegrinelli, S., Orlandini, A., Pedrocchi, N., Umbrico, A., Tolio, T.: Motion planning and scheduling for human and industrial-robot collaboration. CIRP Annals - Manufacturing Technology 66 (2017) 1\u20134","journal-title":"CIRP Annals - Manufacturing Technology"}],"container-title":["Knowledge Engineering Tools and Techniques for AI Planning"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-38561-3_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,10,19]],"date-time":"2022-10-19T19:30:46Z","timestamp":1666207846000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-38561-3_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030385606","9783030385613"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-38561-3_12","relation":{},"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"26 March 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}