Our group has had two papers accepted at the 18th International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2019):
- P. Kouvaros, A. Lomuscio, E. Pirovano, H. Punchihewa. “Formal Verification of Open Multi-Agent Systems”
- A. Lomuscio, E. Pirovano. “A Counter Abstraction Technique for the Verification of Probabilistic Swarm Systems.””
More details can be found on our publications page.