Constraint Programming-Based Verification of COLREG Safety
author
Vain, Jüri
Tsiopoulos, Leonidas
Walden, Marina
Benterki, Aboubaker Seddiq
statement of authorship
Jüri Vain, Leonidas Tsiopoulos, Marina Waldén, Aboubaker Seddiq Benterki
source
IEEE journal of oceanic engineering
publisher
IEEE
journal volume number month
vol. 50, 4
year of publication
2025
pages
p. 2797-2821
url
https://doi.org/10.1109/JOE.2025.3592285
subject term
mereohutus
navigatsioon
modelleerimine (teadus)
autonoomsed laevad
keyword
Autonomous surface vehicles (ASVs)
COLREG
constraint logic programming (LP) (CLP)
dynamic deadlock
maritime autonomous surface ships (MASSs)
maritime safety
rule-based modeling
safety risk analysis
navigation
ISSN
0364-9059
1558-1691
Open Access
Open Access
scientific publication
teaduspublikatsioon
classifier
1.1
TalTech department
tarkvarateaduse instituut
language
inglise