Francesco Belardinelli, Vadim Malvone. Decidable Verification of Agent-Based Data-Aware Systems. 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 52-68, Springer, 2019. [doi]
Abstract is missing.