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ženo v:

Podrobná bibliografie
Vydáno v:	IEEE journal of oceanic engineering Ročník 50; číslo 4; s. 2797 - 2821
Hlavní autoři:	Vain, Juri, Tsiopoulos, Leonidas, Walden, Marina, Benterki, Aboubaker Seddiq
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	New York IEEE 01.10.2025 The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Témata:	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 přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Buďte první, kdo okomentuje tento záznam!