# Parameterised Verification of Infinite State Multi-Agent Systems via Predicate Abstraction

> Research article (Proceedings of the AAAI Conference on Artificial Intelligence, 2017) · cited 11× · AI/ML

**Wikidata**: [openalex:W2604550364](https://www.wikidata.org/wiki/openalex:W2604550364)  
**Source**: https://4ort.xyz/entity/parameterised-verification-of-infinite-state-multi-agent-systems-via-predicate-abstraction