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

Thumbnail Image
Date
2017
Authors
Halder,R
José Paiva Proença
Nuno Moreira Macedo
Santos,A
Journal Title
Journal ISSN
Volume Title
Publisher