TY  - RPRT
TI  - Towards Deductive Verification of Control Algorithms for Autonomous Marine Vehicles
AU  - Simon Foster
AU  - Mario Gleirscher
AU  - Radu Calinescu
PY  - 2020
DO  - 10.1109/iceccs51672.2020.00020
UR  - https://arxiv.org/abs/2006.09233
ID  - 2006.09233
ER  -