Benutzer: Gast  Login

Titel:

Temporal Logic Formalization of Marine Traffic Rules

Dokumenttyp:
Konferenzbeitrag
Autor(en):
Hanna Krasowski; Matthias Althoff
Abstract:
Autonomous vessels have to adhere to marine traffic rules to ensure traffic safety and reduce the liability of manufacturers. However, autonomous systems can only evaluate rule compliance if rules are formulated in a precise and mathematical way. This paper formalizes marine traffic rules from the Convention on the International Regulations for Preventing Collisions at Sea (COLREGS) using temporal logic. In particular, the collision prevention rules between two power-driven vessels are delineate...     »
Herausgeber:
IEEE
Kongress- / Buchtitel:
2021 IEEE Intelligent Vehicles Symposium (IV)
Jahr:
2021
Seiten:
186-192
Volltext / DOI:
doi:10.1109/IV48863.2021.9575685
 BibTeX