{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,9]],"date-time":"2025-09-09T21:57:05Z","timestamp":1757455025933,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":20,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,4,14]],"date-time":"2024-04-14T00:00:00Z","timestamp":1713052800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,4,14]]},"DOI":"10.1145\/3644033.3644379","type":"proceedings-article","created":{"date-parts":[[2024,6,6]],"date-time":"2024-06-06T16:56:27Z","timestamp":1717692987000},"page":"122-126","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Towards Verifiable Multi-Agent Interaction Pattern Specification"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0004-4923-7831","authenticated-orcid":false,"given":"Alberto","family":"Tagliaferro","sequence":"first","affiliation":[{"name":"Politecnico di Milano, Milan, Italy"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8724-1541","authenticated-orcid":false,"given":"Livia","family":"Lestingi","sequence":"additional","affiliation":[{"name":"Politecnico di Milano, Milan, Italy"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9193-9560","authenticated-orcid":false,"given":"Matteo","family":"Rossi","sequence":"additional","affiliation":[{"name":"Politecnico di Milano, Milan, Italy"}]}],"member":"320","published-online":{"date-parts":[[2024,6,6]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Intl. Symp. on Software Engineering for Adaptive and Self-Managing Systems (SEAMS). IEEE, 245--251","author":"Askarpour Mehrnoosh","year":"2021","unstructured":"Mehrnoosh Askarpour, Christos Tsigkanos, Claudio Menghi, Radu Calinescu, Patrizio Pelliccione, Sergio Garcia, Ricardo Caldas, Tim J von Oertzen, Manuel Wimmer, Luca Berardinelli, et al. 2021. Robomax: Robotic mission adaptation exemplars. In Intl. Symp. on Software Engineering for Adaptive and Self-Managing Systems (SEAMS). IEEE, 245--251."},{"key":"e_1_3_2_1_2_1","volume-title":"ACM\/IEEE Intl. Conf. on Cyber-Physical Systems. 57--66","author":"Banusi\u0107 Gregor B","year":"2019","unstructured":"Gregor B Banusi\u0107, Rupak Majumdar, Marcus Pirron, Anne-Kathrin Schmuck, and Damien Zufferey. 2019. PGCD: robot programming and verification with geometry, concurrency, and dynamics. In ACM\/IEEE Intl. Conf. on Cyber-Physical Systems. 57--66."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-020-00509-0"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2011.2109709"},{"key":"e_1_3_2_1_5_1","volume-title":"Intl. Conf. on Formal Modeling and Analisys of Timed Systems. Springer, 80--96","author":"David Alexandre","year":"2011","unstructured":"Alexandre David, Kim G Larsen, Axel Legay, Marius Miku\u0107ionis, Danny B\u00f8gsted Poulsen, Jonas Van Vliet, and Zheng Wang. 2011. Statistical model checking for networks of priced timed automata. In Intl. Conf. on Formal Modeling and Analisys of Timed Systems. Springer, 80--96."},{"key":"e_1_3_2_1_6_1","volume-title":"Thorsten Berger, and Patrizio Pelliccione.","author":"Dragule Swaib","year":"2021","unstructured":"Swaib Dragule, Sergio Garcia Gonzalo, Thorsten Berger, and Patrizio Pelliccione. 2021. Languages for specifying missions of robotic applications. Software Engineering for Robotics (2021), 377--411."},{"key":"e_1_3_2_1_7_1","volume-title":"Intl. Conf. HCII. Springer, 592--602","author":"Forbrig Peter","year":"2020","unstructured":"Peter Forbrig and Alexandru-Nicolae Bundea. 2020. Modelling the collaboration of a patient and an assisting humanoid robot during training tasks. In Intl. Conf. HCII. Springer, 592--602."},{"key":"e_1_3_2_1_8_1","volume-title":"ACM SIGPLAN Intl. Conf. on Software Language Engineering. 127--140","author":"Garcia Sergio","year":"2019","unstructured":"Sergio Garcia, Patrizio Pelliccione, Claudio Menghi, Thorsten Berger, and Tomas Bures. 2019. High-level mission specification for multiple robots. In ACM SIGPLAN Intl. Conf. on Software Language Engineering. 127--140."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.robot.2023.104386"},{"key":"e_1_3_2_1_10_1","volume-title":"Proc. of Workshop ADAPT-Agent Design: Advancing from Practice to Theory, Workshop at AAMAS","volume":"9","author":"Lacerda Bruno","year":"2009","unstructured":"Bruno Lacerda and Pedro Lima. 2009. LTL plan specification for robotic tasks modelled as finite state automata. In Proc. of Workshop ADAPT-Agent Design: Advancing from Practice to Theory, Workshop at AAMAS, Vol. 9."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/s100090050010"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.robot.2023.104387"},{"key":"e_1_3_2_1_13_1","volume-title":"Carlo Ghezzi, and Thorsten Berger","author":"Menghi Claudio","year":"2019","unstructured":"Claudio Menghi, Christos Tsigkanos, Patrizio Pelliccione, Carlo Ghezzi, and Thorsten Berger. 2019. Specification patterns for robotic missions. IEEE Transactions on Software Engineering (2019)."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1108\/IJICC-03-2017-0025"},{"key":"e_1_3_2_1_15_1","volume-title":"International conference on simulation, modeling, and programming for autonomous robots. Springer, 195--206","author":"Nordmann Arne","year":"2014","unstructured":"Arne Nordmann, Nico Hochgeschwender, and Sebastian Wrede. 2014. A survey on domain-specific languages in robotics. In International conference on simulation, modeling, and programming for autonomous robots. Springer, 195--206."},{"key":"e_1_3_2_1_16_1","volume-title":"Intl. Conf. on Human-Computer Interaction. Springer, 362--369","author":"Paterno Fabio","year":"1997","unstructured":"Fabio Paterno, Cristiano Mancini, and Silvia Meniconi. 1997. ConcurTaskTrees: A diagrammatic notation for specifying task models. In Intl. Conf. on Human-Computer Interaction. Springer, 362--369."},{"key":"e_1_3_2_1_17_1","volume-title":"Petri net-based modelling of workflow systems: An overview. European journal of operational research 134, 3","author":"Salimifard Khodakaram","year":"2001","unstructured":"Khodakaram Salimifard and Mike Wright. 2001. Petri net-based modelling of workflow systems: An overview. European journal of operational research 134, 3 (2001), 664--676."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2014.07.047"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2016.04.006"},{"key":"e_1_3_2_1_20_1","volume-title":"YAWL: yet another workflow language. Information systems 30, 4","author":"Van Der Aalst Wil MP","year":"2005","unstructured":"Wil MP Van Der Aalst and Arthur HM Ter Hofstede. 2005. YAWL: yet another workflow language. Information systems 30, 4 (2005), 245--275."}],"event":{"name":"FormaliSE '24: 2024 IEEE\/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE)","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","IEEE CS"],"location":"Lisbon Portugal","acronym":"FormaliSE '24"},"container-title":["Proceedings of the 2024 IEEE\/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE)"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3644033.3644379","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3644033.3644379","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T23:56:58Z","timestamp":1750291018000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3644033.3644379"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,4,14]]},"references-count":20,"alternative-id":["10.1145\/3644033.3644379","10.1145\/3644033"],"URL":"https:\/\/doi.org\/10.1145\/3644033.3644379","relation":{},"subject":[],"published":{"date-parts":[[2024,4,14]]},"assertion":[{"value":"2024-06-06","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}