Towards Deductive Verification of Control Algorithms for Autonomous Marine Vehicles.

Simon Foster, Mario Gleirscher, Radu Calinescu

Browse the full ICECCS paper archive.