# Formal Verification of ROS-Based Robotic Applications Using Timed-Automata

> Research article (2017 IEEE/ACM 5th International FME Workshop on Formal Methods in Software Engineering (FormaliSE), 2017) · cited 57× · AI/ML

**Wikidata**: [openalex:W4251377221](https://www.wikidata.org/wiki/openalex:W4251377221)  
**Source**: https://4ort.xyz/entity/formal-verification-of-ros-based-robotic-applications-using-timed-automata