Paper accepted at FormaliSE

March 1, 2017
in terms

Our paper on the verification of a ROS-based robotic system using timed automata has been accepted at the FME Workshop on Formal Methods in Software Engineering (FormaliSE).