# Pushdown multi-agent system verification

> Research article (http://people.na.infn.it/%7Emurano/pubblicazioni/Murano-IJCAI15.pdf, 2015) · cited 10× · AI/ML

**Wikidata**: [openalex:W2288290534](https://www.wikidata.org/wiki/openalex:W2288290534)  
**Source**: https://4ort.xyz/entity/pushdown-multi-agent-system-verification