Yehia Abd Alrahman, Shaun Azzopardi, Nir Piterman. R-CHECK: A Model Checker for Verifying Reconfigurable MAS. In Piotr Faliszewski, Viviana Mascardi, Catherine Pelachaud, Matthew E. Taylor, editors, 21st International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2022, Auckland, New Zealand, May 9-13, 2022. pages 1518-1520, International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), 2022. [doi]
Abstract is missing.