Towards Safe Navigation by Formalizing Navigation Rules
One crucial aspect of safe navigation is to obey all navigation regulations applicable, in particular the collision regulations issued by the International Maritime Organization (IMO Colregs). Therefore, decision support systems for navigation need to respect Colregs and this feature should be verif...
| Main Authors: | , , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Gdynia Maritime University
2013-06-01
|
| Series: | TransNav: International Journal on Marine Navigation and Safety of Sea Transportation |
| Subjects: | |
| Online Access: | http://www.transnav.eu/files/Towards Safe Navigation by Formalizing Navigation Rules,422.pdf |