Constraint Programming-Based Verification of COLREG Safety

COLREG sets maritime navigation safety rules that are defined to be human-interpretable. With the advent of autonomous surface vehicles (ASVs), the level of detail of the rules and completeness to ensure trustworthy navigation decisions by AI algorithms have become a subject of doubt. Proper interpr...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	IEEE journal of oceanic engineering Jg. 50; H. 4; S. 2797 - 2821
Hauptverfasser:	Vain, Juri, Tsiopoulos, Leonidas, Walden, Marina, Benterki, Aboubaker Seddiq
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	New York IEEE 01.10.2025 The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Schlagworte:	Autonomous surface vehicles Autonomous surface vehicles (ASVs) Autonomous vehicles COLREG Complexity theory constraint logic programming (LP) (CLP) Constraints Decisions dynamic deadlock Frequency modulation Logic programming Marine vehicles maritime autonomous surface ships (MASSs) maritime safety Meteorology navigation Navigation safety Navigational safety rule-based modeling Safety safety risk analysis Sea surface Space exploration Surface vehicles System recovery Trajectories Turning Underwater navigation Verification
ISSN:	0364-9059, 1558-1691
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!