Modelling and Verification of Timed Robotic Controllers

Lecture Notes in Computer Science - Integrated Formal Methods ◽

10.1007/978-3-319-66845-1_2 ◽

2017 ◽

pp. 18-33 ◽

Cited By ~ 5

Author(s):

Pedro Ribeiro ◽

Alvaro Miyazawa ◽

Wei Li ◽

Ana Cavalcanti ◽

Jon Timmis

Download Full-text