Modelling and Verification of Timed Robotic Controllers.

Pedro Ribeiro, Alvaro Miyazawa, Wei Li, Ana Cavalcanti, Jon Timmis

Browse the full IFM paper archive.