# Bridging the gap between formal verification and schedulability analysis: The case of robotics

> Research article (Journal of Systems Architecture, 2020) · cited 13× · AI/ML

**Wikidata**: [openalex:W3035201718](https://www.wikidata.org/wiki/openalex:W3035201718)  
**Source**: https://4ort.xyz/entity/bridging-the-gap-between-formal-verification-and-schedulability-analysis-the-case-of-robotics