# RV4JaCa—Towards Runtime Verification of Multi-Agent Systems and Robotic Applications

> Research article (Robotics, 2023) · cited 11× · AI/ML

**Wikidata**: [openalex:W4360845889](https://www.wikidata.org/wiki/openalex:W4360845889)  
**Source**: https://4ort.xyz/entity/rv4jacatowards-runtime-verification-of-multi-agent-systems-and-robotic-applications