Formal Verification of ROS-Based Robotic Applications Using Timed-Automata
Formal Verification of ROS-Based Robotic Applications Using Timed-Automata
Files
Date
2017
Authors
Halder,R
José Paiva Proença
Nuno Moreira Macedo
Santos,A