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

Celý popis

Uložené v:

Podrobná bibliografia
Vydané v:	IEEE journal of oceanic engineering Ročník 50; číslo 4; s. 2797 - 2821
Hlavní autori:	Vain, Juri, Tsiopoulos, Leonidas, Walden, Marina, Benterki, Aboubaker Seddiq
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	New York IEEE 01.10.2025 The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Predmet:	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
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!

Buďte prvý, kto okomentuje tento záznam!