# RV4JaCa – Runtime Verification for Multi-Agent Systems

> Research article (Electronic Proceedings in Theoretical Computer Science, 2022) · cited 12× · AI/ML

**Wikidata**: [openalex:W4285794235](https://www.wikidata.org/wiki/openalex:W4285794235)  
**Source**: https://4ort.xyz/entity/rv4jaca-runtime-verification-for-multi-agent-systems