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

Raju Halder, Jos Proena, Nuno Macedo, Andr Santos

Browse the full ICSE paper archive.