The following publications are possibly variants of this publication:
- Parameterised verification for multi-agent systemsPanagiotis Kouvaros. PhD thesis, Imperial College London, UK, 2015. [doi]
- Parameterised verification for multi-agent systemsPanagiotis Kouvaros, Alessio Lomuscio. ai, 234:152-189, 2016. [doi]
- Verifying Fault-tolerance in Parameterised Multi-Agent SystemsPanagiotis Kouvaros, Alessio Lomuscio. IJCAI 2017: 288-294 [doi]
- Parameterised Verification of Data-aware Multi-Agent SystemsFrancesco Belardinelli, Panagiotis Kouvaros, Alessio Lomuscio. IJCAI 2017: 98-104 [doi]
- Parameterised Verification of Strategic Properties in Probabilistic Multi-Agent SystemsAlessio Lomuscio, Edoardo Pirovano. atal 2020: 762-770 [doi]
- Parameterised Verification of Infinite State Multi-Agent Systems via Predicate AbstractionPanagiotis Kouvaros, Alessio Lomuscio. AAAI 2017: 3013-3020 [doi]