A Summary of Formal Specification and Verification of Autonomous Robotic Systems.

Matt Luckcuck, Marie Farrell, Louise A. Dennis, Clare Dixon, Michael Fisher

Browse the full IFM paper archive.