Rodica Condurache, Riccardo De Masellis, Valentin Goranko. Dynamic Multi-Agent Systems: Conceptual Framework, Automata-Based Modelling and Verification. In Matteo Baldoni, Mehdi Dastani, Beishui Liao, Yuko Sakurai, Rym Zalila-Wenkstern, editors, PRIMA 2019: Principles and Practice of Multi-Agent Systems - 22nd International Conference, Turin, Italy, October 28-31, 2019, Proceedings. Volume 11873 of Lecture Notes in Computer Science, pages 106-122, Springer, 2019. [doi]
Abstract is missing.