http://www.diva-portal.org
Postprint
This is the accepted version of a paper presented at 22nd International Conference, Turin, Italy, October 28–31, 2019.
Citation for the original published paper:
Condurache, R., De Masellis, R., Goranko, V. (2019)
Dynamic Multi-Agent Systems: Conceptual Framework, Automata-Based Modelling and Verification
In: Matteo Baldoni, Mehdi Dastani, Beishui Liao, Yuko Sakurai, Rym Zalila Wenkstern (ed.), PRIMA 2019: Principles and Practice of Multi-Agent Systems: Proceedings (pp.
106-122). Springer
Lecture Notes in Computer Science
https://doi.org/10.1007/978-3-030-33792-6_7
N.B. When citing this work, cite the original published paper.
Permanent link to this version:
http://urn.kb.se/resolve?urn=urn:nbn:se:su:diva-177316
framework, automata-based modelling and verification
Rodica Condurache 1 , Riccardo De Masellis 2 , and Valentin Goranko 2,3
1
A.I.Cuza University of Iasi, Romania rodica.b.condurache@gmail.com
2
Stockholm University, Sweden
{riccardo.demasellis | valentin.goranko}@philosophy.su.se
3