Formal Verification of COLREG-Based Navigation of Maritime Autonomous Systems.

Fatima Shokri-Manninen, Jri Vain, Marina Waldn

Browse the full SEFM paper archive.