# Formal modeling and verification of multi-robot interactive scenarios in service settings

> Research article (Proceedings of the IEEE/ACM 10th International Conference on Formal Methods in Software Engineering, 2022) · cited 11× · AI/ML

**Wikidata**: [openalex:W4286383571](https://www.wikidata.org/wiki/openalex:W4286383571)  
**Source**: https://4ort.xyz/entity/formal-modeling-and-verification-of-multi-robot-interactive-scenarios-in-service-settings