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...

Full description

Saved in:

Bibliographic Details
Published in:	IEEE journal of oceanic engineering Vol. 50; no. 4; pp. 2797 - 2821
Main Authors:	Vain, Juri, Tsiopoulos, Leonidas, Walden, Marina, Benterki, Aboubaker Seddiq
Format:	Journal Article
Language:	English
Published:	New York IEEE 01.10.2025 The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subjects:	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 Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!