Formal Verification of ROS-based Robotic Applications using Timed-Automata
Citation:
Halder R, Proença J, Macedo N, Santos A.
2017. Formal Verification of ROS-based Robotic Applications using Timed-Automata. FME Workshop on Formal Methods In Software Engineering.