{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,16]],"date-time":"2026-10-16T21:13:01Z","timestamp":1792185181462,"version":"4.4.0"},"reference-count":63,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2021,8,26]],"date-time":"2021-08-26T00:00:00Z","timestamp":1629936000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2021,8,26]],"date-time":"2021-08-26T00:00:00Z","timestamp":1629936000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100000781","name":"European Research Council","doi-asserted-by":"publisher","award":["772459"],"award-info":[{"award-number":["772459"]}],"id":[{"id":"10.13039\/501100000781","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100004359","name":"vetenskapsr\u00e5det","doi-asserted-by":"publisher","award":["2020-04963"],"award-info":[{"award-number":["2020-04963"]}],"id":[{"id":"10.13039\/501100004359","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100004359","name":"vetenskapsr\u00e5det","doi-asserted-by":"publisher","award":["2020-03401"],"award-info":[{"award-number":["2020-03401"]}],"id":[{"id":"10.13039\/501100004359","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Auton Agent Multi-Agent Syst"],"published-print":{"date-parts":[[2021,10]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>We propose a formalism to model and reason about reconfigurable multi-agent systems. In our formalism, agents interact and communicate in different modes so that they can pursue joint tasks; agents may dynamically synchronize, exchange data, adapt their behaviour, and reconfigure their communication interfaces. Inspired by existing multi-robot systems, we represent a system as a set of agents (each with local state), executing independently and only influence each other by means of message exchange. Agents are able to sense their local states and partially their surroundings. We extend<jats:sc>ltl<\/jats:sc>to be able to reason explicitly about the intentions of agents in the interaction and their communication protocols. We also study the complexity of satisfiability and model-checking of this extension.<\/jats:p>","DOI":"10.1007\/s10458-021-09521-x","type":"journal-article","created":{"date-parts":[[2021,8,26]],"date-time":"2021-08-26T06:02:32Z","timestamp":1629957752000},"update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":14,"title":["Modelling and verification of reconfigurable multi-agent systems"],"prefix":"10.1007","volume":"35","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-4866-6931","authenticated-orcid":false,"given":"Yehia","family":"Abd Alrahman","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8242-5357","authenticated-orcid":false,"given":"Nir","family":"Piterman","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2021,8,26]]},"reference":[{"key":"9521_CR1","unstructured":"Abd Alrahman, Y., Perelli, G., & Piterman, N. (2020). Reconfigurable interaction for MAS modelling. In A.E.F. Seghrouchni, G.\u00a0Sukthankar, B.\u00a0An, N.\u00a0Yorke-Smith (Eds.) Proceedings of the 19th international conference on autonomous agents and multiagent systems, AAMAS \u201920, Auckland, New Zealand, May 9-13, 2020, (pp. 7\u201315). International foundation for autonomous agents and multiagent systems."},{"key":"9521_CR2","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2019.104457","author":"Y Abd Alrahman","year":"2019","unstructured":"Abd Alrahman, Y., De Nicola, R., & Loreti, M. (2019). A calculus for collective-adaptive systems and its behavioural theory. Information and Computation,. https:\/\/doi.org\/10.1016\/j.ic.2019.104457.","journal-title":"Information and Computation"},{"key":"9521_CR3","doi-asserted-by":"publisher","unstructured":"Aguilera, M.K., Ben-David, N., Calciu, I., Guerraoui, R., Petrank, E., & Toueg, S. (2018). Passing messages while sharing memory. In Proceedings of the 2018 ACM symposium on principles of distributed computing, PODC \u201918, pp. 51\u201360. ACM, New York, NY, USA. https:\/\/doi.org\/10.1145\/3212734.3212741.","DOI":"10.1145\/3212734.3212741"},{"key":"9521_CR4","doi-asserted-by":"publisher","unstructured":"Aguilera, M.K., Ben-David, N., Guerraoui, R., Marathe, V., & Zablotchi, I. (2019). The impact of rdma on agreement. In: Proceedings of the 2019 ACM symposium on principles of distributed computing, PODC \u201919, pp. 409\u2013418. ACM, New York, NY, USA. https:\/\/doi.org\/10.1145\/3293611.3331601.","DOI":"10.1145\/3293611.3331601"},{"key":"9521_CR5","doi-asserted-by":"publisher","first-page":"102428","DOI":"10.1016\/j.scico.2020.102428","volume":"192","author":"YA Alrahman","year":"2020","unstructured":"Alrahman, Y. A., Nicola, R. D., & Loreti, M. (2020). Programming interactions in collective adaptive systems by relying on attribute-based communication. Science of Computer Programming, 192, 102428. https:\/\/doi.org\/10.1016\/j.scico.2020.102428.","journal-title":"Science of Computer Programming"},{"key":"9521_CR6","unstructured":"Alur, R., & Grosu, R. (2004). Dynamic reactive modules. Tech. Rep. 2004\/6, Stony Brook."},{"key":"9521_CR7","doi-asserted-by":"crossref","unstructured":"Alur, R., Henzinger, T., Mang, F., Qadeer, S., Rajamani, S., & Tasiran, S. (1998). MOCHA: modularity in model checking. In: CAV\u201998, pp. 521\u2013525.","DOI":"10.1007\/BFb0028774"},{"issue":"1","key":"9521_CR8","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1023\/A:1008739929481","volume":"15","author":"R Alur","year":"1999","unstructured":"Alur, R., & Henzinger, T. (1999). Reactive Modules. Formal Methods in System Design, 15(1), 7\u201348.","journal-title":"Formal Methods in System Design"},{"issue":"5","key":"9521_CR9","doi-asserted-by":"publisher","first-page":"672","DOI":"10.1145\/585265.585270","volume":"49","author":"R Alur","year":"2002","unstructured":"Alur, R., Henzinger, T., & Kupferman, O. (2002). Alternating-time temporal logic. Journal of the ACM, 49(5), 672\u2013713. https:\/\/doi.org\/10.1145\/585265.585270.","journal-title":"Journal of the ACM"},{"key":"9521_CR10","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1016\/j.ic.2016.03.008","volume":"249","author":"CP Attie","year":"2016","unstructured":"Attie, C. P., & Lynch, N. A. (2016). Dynamic input\/output automata: A formal and compositional model for dynamic systems. Information and Computation, 249, 28\u201375. https:\/\/doi.org\/10.1016\/j.ic.2016.03.008.","journal-title":"Information and Computation"},{"issue":"1","key":"9521_CR11","doi-asserted-by":"publisher","first-page":"124","DOI":"10.1145\/200836.200869","volume":"42","author":"H Attiya","year":"1995","unstructured":"Attiya, H., Bar-Noy, A., & Dolev, D. (1995). Sharing memory robustly in message-passing systems. Journal of the ACM, 42(1), 124\u2013142. https:\/\/doi.org\/10.1145\/200836.200869.","journal-title":"Journal of the ACM"},{"key":"9521_CR12","unstructured":"Baier, C., & Katoen, J. (2008). Principles of model checking. : MIT Press."},{"key":"9521_CR13","doi-asserted-by":"publisher","unstructured":"Baumann, A., Barham, P., Dagand, P.E., Harris, T., Isaacs, R., Peter, S., Roscoe, T., Sch\u00fcpbach, A., & Singhania, A. (2009). The multikernel: A new os architecture for scalable multicore systems. In Proceedings of the ACM SIGOPS 22Nd symposium on operating systems principles, SOSP \u201909, (pp. 29\u201344). ACM, New York, NY, USA. https:\/\/doi.org\/10.1145\/1629575.1629579.","DOI":"10.1145\/1629575.1629579"},{"key":"9521_CR14","unstructured":"Belardinelli, F., Boureanu, I., Dima, C., & Malvone, V. (2019). Verifying strategic abilities in multi-agent systems with private data-sharing. In Proceedings of the 18th international conference on autonomous agents and multiagent systems, AAMAS \u201919, Montreal, QC, Canada, May 13-17, 2019, pp. 1820\u20131822."},{"key":"9521_CR15","unstructured":"Belardinelli, F., Lomuscio, A., Murano, A., & Rubin, S. (2017). Verification of multi-agent systems with imperfect information and public actions. In Proceedings of the 16th conference on autonomous agents and multiagent systems, AAMAS 2017, S\u00e3o Paulo, Brazil, May 8-12, 2017, (pp. 1268\u20131276)."},{"key":"9521_CR16","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1613\/jair.4424","volume":"51","author":"F Belardinelli","year":"2014","unstructured":"Belardinelli, F., Lomuscio, A., & Patrizi, F. (2014). Verification of agent-based artifact systems. Journal of Artificial Intelligence Research, 51, 333\u2013376. https:\/\/doi.org\/10.1613\/jair.4424.","journal-title":"Journal of Artificial Intelligence Research"},{"key":"9521_CR17","doi-asserted-by":"publisher","first-page":"103302","DOI":"10.1016\/j.artint.2020.103302","volume":"285","author":"F Belardinelli","year":"2020","unstructured":"Belardinelli, F., Lomuscio, A., Murano, A., & Rubin, S. (2020). Verification of multi-agent systems with public actions against strategy logic. Artificial Intelligence, 285, 103302. https:\/\/doi.org\/10.1016\/j.artint.2020.103302.","journal-title":"Artificial Intelligence"},{"key":"9521_CR18","doi-asserted-by":"publisher","DOI":"10.2168\/LMCS-7(1:11)2011","author":"J Bengtson","year":"2011","unstructured":"Bengtson, J., Johansson, M., Parrow, J., & Victor, B. (2011). Psi-calculi: a framework for mobile processes with nominal data and logic. Logical Methods in Computer Science,. https:\/\/doi.org\/10.2168\/LMCS-7(1:11)2011.","journal-title":"Logical Methods in Computer Science"},{"key":"9521_CR19","doi-asserted-by":"publisher","unstructured":"Berthon, R., Maubert, B., Murano, A., Rubin, S., & Vardi, M. (2017). Strategy logic with imperfect information. In 32nd annual ACM\/IEEE symposium on logic in computer science, LICS 2017, Reykjavik, Iceland, June 20-23, 2017, (pp. 1\u201312). https:\/\/doi.org\/10.1109\/LICS.2017.8005136.","DOI":"10.1109\/LICS.2017.8005136"},{"issue":"1","key":"9521_CR20","doi-asserted-by":"publisher","first-page":"5:1","DOI":"10.1145\/3427955","volume":"22","author":"R Berthon","year":"2021","unstructured":"Berthon, R., Maubert, B., Murano, A., Rubin, S., & Vardi, M. Y. (2021). Strategy logic with imperfect information. ACM Transactions on Computational Logic (TOCL), 22(1), 5:1\u20135:51. https:\/\/doi.org\/10.1145\/3427955.","journal-title":"ACM Transactions on Computational Logic (TOCL)"},{"issue":"1","key":"9521_CR21","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1007\/s10270-013-0375-z","volume":"14","author":"J Borgstr\u00f6m","year":"2015","unstructured":"Borgstr\u00f6m, J., Huang, S., Johansson, M., Raabjerg, P., Victor, B., Pohjola, J. \u00c5., et al. (2015). Broadcast psi-calculi with an application to wireless protocols. Software and System Modeling, 14(1), 201\u2013216. https:\/\/doi.org\/10.1007\/s10270-013-0375-z.","journal-title":"Software and System Modeling"},{"issue":"6","key":"9521_CR22","doi-asserted-by":"publisher","first-page":"677","DOI":"10.1016\/j.ic.2009.07.004","volume":"208","author":"K Chatterjee","year":"2010","unstructured":"Chatterjee, K., Henzinger, T., & Piterman, N. (2010). Strategy logic. Information and Computation, 208(6), 677\u2013693. https:\/\/doi.org\/10.1016\/j.ic.2009.07.004.","journal-title":"Information and Computation"},{"key":"9521_CR23","doi-asserted-by":"publisher","unstructured":"Dorigo, M. (2014). The swarm-bots and swarmanoid experiments in swarm robotics. In 2014 IEEE international conference on autonomous robot systems and competitions, ICARSC 2014, Espinho, Portugal, May 14-15, 2014, p.\u00a01. https:\/\/doi.org\/10.1109\/ICARSC.2014.6849753.","DOI":"10.1109\/ICARSC.2014.6849753"},{"key":"9521_CR24","doi-asserted-by":"crossref","unstructured":"Dwyer, M., Avrunin, G., & Corbett, J. (1999). Patterns in property specifications for finite-state verification. In Proceedings of the 1999 international conference on software engineering, ICSE\u2019 99, Los Angeles, CA, USA, May 16-22, 1999., (pp. 411\u2013420). ACM.","DOI":"10.1145\/302405.302672"},{"key":"9521_CR25","doi-asserted-by":"crossref","unstructured":"Ene, C., & Muntean, T. (1999). Expressiveness of point-to-point versus broadcast communications. In Fundamentals of computation theory, (pp. 258\u2013268). Springer.","DOI":"10.1007\/3-540-48321-7_21"},{"key":"9521_CR26","doi-asserted-by":"crossref","unstructured":"Ene, C., & Muntean, T. (2001). A broadcast-based calculus for communicating systems. In Parallel and distributed processing symposium, international, vol.\u00a03, (pp. 30149b\u201330149b). IEEE Computer Society.","DOI":"10.1109\/IPDPS.2001.925136"},{"key":"9521_CR27","doi-asserted-by":"crossref","unstructured":"Fagin, R., Halpern, J., Moses, Y., & Vardi, M. Y. (1995). Reasoning about knowledge. : MIT Press.","DOI":"10.7551\/mitpress\/5803.001.0001"},{"key":"9521_CR28","doi-asserted-by":"publisher","unstructured":"Finkbeiner, B., & Schewe, S. (2005). Uniform distributed synthesis. In 20th IEEE symposium on logic in computer science (LICS 2005), 26-29 June 2005, Chicago, IL, USA, Proceedings, (pp. 321\u2013330). IEEE. https:\/\/doi.org\/10.1109\/LICS.2005.53.","DOI":"10.1109\/LICS.2005.53"},{"key":"9521_CR29","doi-asserted-by":"publisher","unstructured":"Fischer, M. J., & Ladner, R. E. (1979). Propositional dynamic logic of regular programs. Journal of Computer and System Sciences, 18(2), 194\u2013211. https:\/\/doi.org\/10.1016\/0022-0000(79)90046-1.","DOI":"10.1016\/0022-0000(79)90046-1"},{"key":"9521_CR30","doi-asserted-by":"publisher","unstructured":"Fisher, J., Henzinger, T., Nickovic, D., Piterman, N., Singh, A., & Vardi, M. (2011). Dynamic reactive modules. In CONCUR 2011 - concurrency theory - 22nd international conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011. Proceedings, (pp. 404\u2013418). https:\/\/doi.org\/10.1007\/978-3-642-23217-6_27.","DOI":"10.1007\/978-3-642-23217-6_27"},{"key":"9521_CR31","doi-asserted-by":"publisher","unstructured":"Gochet, P., & Gribomont, E.P. (2006). Epistemic logic. In Logic and the modalities in the twentieth century, (pp. 99\u2013195). https:\/\/doi.org\/10.1016\/S1874-5857(06)80028-2.","DOI":"10.1016\/S1874-5857(06)80028-2"},{"key":"9521_CR32","doi-asserted-by":"publisher","unstructured":"Griesmayer, A., & Lomuscio, A. (2013). Model checking distributed systems against temporal-epistemic specifications. In Formal techniques for distributed systems - joint IFIP WG 6.1 international conference, FMOODS\/FORTE 2013, Held as part of the 8th international federated conference on distributed computing techniques, DisCoTec 2013, Florence, Italy, 2013. Proceedings, (pp. 130\u2013145). https:\/\/doi.org\/10.1007\/978-3-642-38592-6_10.","DOI":"10.1007\/978-3-642-38592-6_10"},{"key":"9521_CR33","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1016\/j.artint.2017.04.003","volume":"248","author":"J Gutierrez","year":"2017","unstructured":"Gutierrez, J., Harrenstein, P., & Wooldridge, M. (2017). From model checking to equilibrium checking: reactive modules for rational verification. Artificial Intelligence, 248, 123\u2013157. https:\/\/doi.org\/10.1016\/j.artint.2017.04.003.","journal-title":"Artificial Intelligence"},{"issue":"Part","key":"9521_CR34","doi-asserted-by":"publisher","first-page":"650","DOI":"10.1016\/j.ic.2018.02.023","volume":"261","author":"J Gutierrez","year":"2018","unstructured":"Gutierrez, J., Perelli, G., & Wooldridge, M. (2018). Imperfect information in reactive modules games. Information and Computation, 261(Part), 650\u2013675.","journal-title":"Information and Computation"},{"issue":"1","key":"9521_CR35","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1016\/0022-0000(89)90039-1","volume":"38","author":"J Halpern","year":"1989","unstructured":"Halpern, J., & Vardi, M. (1989). The complexity of reasoning about knowledge and time. i. lower bounds. Journal of Computer and System Sciences, 38(1), 195\u2013237. https:\/\/doi.org\/10.1016\/0022-0000(89)90039-1.","journal-title":"Journal of Computer and System Sciences"},{"key":"9521_CR36","doi-asserted-by":"publisher","unstructured":"Hamann, H. (2018). Swarm robotics - a formal approach. : Springer. https:\/\/doi.org\/10.1007\/978-3-319-74528-2.","DOI":"10.1007\/978-3-319-74528-2"},{"key":"9521_CR37","doi-asserted-by":"publisher","unstructured":"Helsinger, A., Thome, M., & Wright, T. (2004). Cougaar: a scalable, distributed multi-agent architecture. In 2004 IEEE international conference on systems, man and cybernetics (IEEE Cat. No.04CH37583), vol.\u00a02, (pp. 1910\u20131917) vol.2. https:\/\/doi.org\/10.1109\/ICSMC.2004.1399959.","DOI":"10.1109\/ICSMC.2004.1399959"},{"key":"9521_CR38","doi-asserted-by":"publisher","unstructured":"Karagiannis, P., Matthaiakis, S. A., Andronas, D., Filis, K., Giannoulis, C., Michalos, G., & Makris, S. (2019). Reconfigurable assembly station: a consumer goods industry paradigm. Procedia CIRP,81, 1406\u20131411. https:\/\/doi.org\/10.1016\/j.procir.2019.04.070. 52nd CIRP Conference on manufacturing systems (CMS), Ljubljana, Slovenia, June 12-14, 2019.","DOI":"10.1016\/j.procir.2019.04.070"},{"key":"9521_CR39","unstructured":"Kouvaros, P., Lomuscio, A., Pirovano, E., & Punchihewa, H. (2019). Formal verification of open multi-agent systems. In Proceedings of the 18th international conference on autonomous agents and multiagent systems, AAMAS \u201919, Montreal, QC, Canada, May 13-17, 2019, (pp. 179\u2013187)."},{"key":"9521_CR40","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1016\/0304-3975(82)90125-6","volume":"27","author":"D Kozen","year":"1983","unstructured":"Kozen, D. (1983). Results on the propositional mu-Calculus. Theoretical Computer Science, 27, 333\u2013354. https:\/\/doi.org\/10.1016\/0304-3975(82)90125-6.","journal-title":"Theoretical Computer Science"},{"issue":"2","key":"9521_CR41","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1145\/359496.359527","volume":"1","author":"A Lomuscio","year":"2000","unstructured":"Lomuscio, A., van der Meyden, R., & Ryan, M. (2000). Knowledge in multiagent systems: initial configurations and broadcast. ACM Transactions on Computational Logic (TOCL), 1(2), 247\u2013284. https:\/\/doi.org\/10.1145\/359496.359527.","journal-title":"ACM Transactions on Computational Logic (TOCL)"},{"issue":"1","key":"9521_CR42","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1007\/s10009-015-0378-x","volume":"19","author":"A Lomuscio","year":"2017","unstructured":"Lomuscio, A., Qu, H., & Raimondi, F. (2017). MCMAS: an open-source model checker for the verification of multi-agent systems. STTT, 19(1), 9\u201330.","journal-title":"STTT"},{"issue":"4","key":"9521_CR43","doi-asserted-by":"publisher","first-page":"583","DOI":"10.1145\/322033.322037","volume":"24","author":"NA Lynch","year":"1977","unstructured":"Lynch, N. A. (1977). Log space recognition and translation of parenthesis languages. Journal of the ACM, 24(4), 583\u2013590. https:\/\/doi.org\/10.1145\/322033.322037.","journal-title":"Journal of the ACM"},{"key":"9521_CR44","doi-asserted-by":"publisher","unstructured":"Maganha, I., Silva, C., & Ferreira, L. (2019). The Layout Design in Reconfigurable Manufacturing Systems: a Literature Review. In The International Journal of Advanced Manufacturing Technology,. https:\/\/doi.org\/10.1007\/s00170-019-04190-3.","DOI":"10.1007\/s00170-019-04190-3"},{"key":"#cr-split#-9521_CR45.1","unstructured":"Maoz, S., & Ringert, J. (2015). GR"},{"key":"#cr-split#-9521_CR45.2","unstructured":"(1) synthesis for LTL specification patterns. In Proceedings of the 2015 10th joint meeting on foundations of software engineering, ESEC\/FSE 2015, Bergamo, Italy, August 30 - September 4, 2015, (pp. 96-106). ACM."},{"key":"9521_CR46","unstructured":"Mathews, N., Christensen, A.L., Ferrante, E., O\u2019Grady, R., & Dorigo, M. (2010). Establishing spatially targeted communication in a heterogeneous robot swarm. In Proceedings of the 9th international conference on autonomous agents and multiagent systems: Volume 1, AAMAS \u201910, (pp. 939\u2013946). International foundation for autonomous agents and multiagent systems."},{"key":"9521_CR47","doi-asserted-by":"publisher","unstructured":"Milner, R. (1975). Processes: A mathematical model of computing agents. In H.\u00a0Rose, J.\u00a0Shepherdson (Eds.) Logic Colloquium \u201973, Studies in logic and the foundations of mathematics, vol.\u00a080, pp. 157 \u2013 173. Elsevier. https:\/\/doi.org\/10.1016\/S0049-237X(08)71948-7. http:\/\/www.sciencedirect.com\/science\/article\/pii\/S0049237X08719487.","DOI":"10.1016\/S0049-237X(08)71948-7"},{"issue":"1","key":"9521_CR48","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0890-5401(92)90008-4","volume":"100","author":"R Milner","year":"1992","unstructured":"Milner, R., Parrow, J., & Walker, D. (1992). A calculus of mobile processes. I. Information and Computation, 100(1), 1\u201340. https:\/\/doi.org\/10.1016\/0890-5401(92)90008-4.","journal-title":"I. Information and Computation"},{"key":"9521_CR49","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1016\/0304-3975(84)90049-5","volume":"32","author":"S Miyano","year":"1984","unstructured":"Miyano, S., & Hayashi, T. (1984). Alternating finite automata on omega-words. Theoretical Computer Science, 32, 321\u2013330. https:\/\/doi.org\/10.1016\/0304-3975(84)90049-5.","journal-title":"Theoretical Computer Science"},{"key":"9521_CR50","doi-asserted-by":"publisher","unstructured":"Mogavero, F., Murano, A., Perelli, G., & Vardi, M. (2014). Reasoning about strategies: on the model-checking problem,. https:\/\/doi.org\/10.1145\/2631917.","DOI":"10.1145\/2631917"},{"issue":"2","key":"9521_CR51","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1016\/0167-6423(95)00017-8","volume":"25","author":"KV Prasad","year":"1995","unstructured":"Prasad, K. V. (1995). A calculus of broadcasting systems. Science of Computer Programming, 25(2), 285\u2013327.","journal-title":"Science of Computer Programming"},{"issue":"7","key":"9521_CR52","doi-asserted-by":"publisher","first-page":"966","DOI":"10.1016\/j.robot.2013.08.006","volume":"62","author":"M Rubenstein","year":"2014","unstructured":"Rubenstein, M., Ahler, C., Hoff, N., Cabrera, A., & Nagpal, R. (2014). Kilobot: A low cost robot with scalable operations designed for collective behaviors. Robotics and Autonomous Systems, 62(7), 966\u2013975. https:\/\/doi.org\/10.1016\/j.robot.2013.08.006.","journal-title":"Robotics and Autonomous Systems"},{"issue":"3","key":"9521_CR53","doi-asserted-by":"publisher","first-page":"733","DOI":"10.1145\/3828.3837","volume":"32","author":"A Sistla","year":"1985","unstructured":"Sistla, A., & Clarke, E. (1985). The complexity of propositional linear temporal logics. Journal of the ACM, 32(3), 733\u2013749. https:\/\/doi.org\/10.1145\/3828.3837.","journal-title":"Journal of the ACM"},{"issue":"2","key":"9521_CR54","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1007\/s11229-005-3384-9","volume":"151","author":"H Van Ditmarsch","year":"2006","unstructured":"Van Ditmarsch, H., & Kooi, B. (2006). The secret of my success. Synthese, 151(2), 201\u2013232.","journal-title":"Synthese"},{"key":"9521_CR55","doi-asserted-by":"publisher","first-page":"103306","DOI":"10.1016\/j.artint.2020.103306","volume":"286","author":"H van Ditmarsch","year":"2020","unstructured":"van Ditmarsch, H., van der Hoek, W., & Kuijer, L. B. (2020). The logic of gossiping. Artificial Intelligence, 286, 103306. https:\/\/doi.org\/10.1016\/j.artint.2020.103306.","journal-title":"Artificial Intelligence"},{"key":"9521_CR56","doi-asserted-by":"publisher","unstructured":"van\u00a0der Meyden, R., & Wilke, T. (2005). Synthesis of distributed systems from knowledge-based specifications. In M.\u00a0Abadi, L.\u00a0de\u00a0Alfaro (Eds.) CONCUR 2005 - concurrency theory, 16th international conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings, Lecture Notes in Computer Science, vol. 3653, (pp. 562\u2013576). Springer. https:\/\/doi.org\/10.1007\/11539452_42.","DOI":"10.1007\/11539452_42"},{"key":"9521_CR57","doi-asserted-by":"crossref","unstructured":"Vardi, M.Y. (1994). Nontraditional applications of automata theory. In International conference on theoretical aspects of computer software, Lecture notes in computer science, vol. 789, (pp. 575\u2013597). Springer.","DOI":"10.1007\/3-540-57887-0_116"},{"issue":"1","key":"9521_CR58","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1006\/inco.1994.1092","volume":"115","author":"MY Vardi","year":"1994","unstructured":"Vardi, M. Y., & Wolper, P. (1994). Reasoning about infinite computations. Information and Computation, 115(1), 1\u201337.","journal-title":"Information and Computation"},{"key":"9521_CR59","doi-asserted-by":"publisher","unstructured":"Wang, C., Jiang, J., Chen, X., Yi, N., & Cui, H. (2017). APUS: fast and scalable paxos on RDMA. In: Proceedings of the 2017 symposium on cloud computing, SoCC 2017, Santa Clara, CA, USA, September 24-27, 2017, pp. 94\u2013107. https:\/\/doi.org\/10.1145\/3127479.3128609.","DOI":"10.1145\/3127479.3128609"},{"key":"9521_CR60","doi-asserted-by":"publisher","unstructured":"Wong, K.W., & Kress-Gazit, H. (2016). Need-based coordination for decentralized high-level robot control. In: 2016 IEEE\/RSJ international conference on intelligent robots and systems, IROS 2016, Daejeon, South Korea, October 9-14, 2016, pp. 2209\u20132216. https:\/\/doi.org\/10.1109\/IROS.2016.7759346.","DOI":"10.1109\/IROS.2016.7759346"},{"key":"9521_CR61","unstructured":"Wooldridge, M. (2002). Introduction to Multiagent Systems. : Wiley."},{"key":"9521_CR62","doi-asserted-by":"crossref","unstructured":"Yan, Q. (2006). Lower bounds for complementation of omega-automata via the full automata technique. In 33rd International colloquium on automata, languages and programming, Lecture notes in computer science, vol. 4052, pp. 589\u2013600. Springer.","DOI":"10.1007\/11787006_50"}],"container-title":["Autonomous Agents and Multi-Agent Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10458-021-09521-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10458-021-09521-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10458-021-09521-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T07:30:10Z","timestamp":1725694210000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10458-021-09521-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,8,26]]},"references-count":63,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2021,10]]}},"alternative-id":["9521"],"URL":"https:\/\/doi.org\/10.1007\/s10458-021-09521-x","relation":{},"ISSN":["1387-2532","1573-7454"],"issn-type":[{"value":"1387-2532","type":"print"},{"value":"1573-7454","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021,8,26]]},"assertion":[{"value":"28 June 2021","order":1,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"26 August 2021","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}],"article-number":"47"}}