Dynamic Multi-Agent Systems: Conceptual Framework, Automata-Based Modelling and Verification

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]

Authors

Rodica Condurache

This author has not been identified. Look up 'Rodica Condurache' in Google

Riccardo De Masellis

This author has not been identified. Look up 'Riccardo De Masellis' in Google

Valentin Goranko

This author has not been identified. Look up 'Valentin Goranko' in Google