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.

Date Presented:

27 May 2017

Citation Key:

3612
PreviewAttachmentSize
ros-formalise17.pdf1.39 MB