täiskirje prindi

Constraint Programming-Based Verification of COLREG Safety

autor
vastutusandmed
Jüri Vain, Leonidas Tsiopoulos, Marina Waldén, Aboubaker Seddiq Benterki
allikas
kirjastus/väljaandja
ajakirja aastakäik number kuu
vol. 50, 4
ilmumisaasta
leheküljed
p. 2797-2821
leitav
ISSN
0364-9059
1558-1691
Open Access
Open Access
teaduspublikatsioon
teaduspublikatsioon
keel
inglise
märksõna
võtmesõna
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
Vain, J., Tsiopoulos, L., Walden, M., Benterki, A.S. Constraint Programming-Based Verification of COLREG Safety // IEEE journal of oceanic engineering (2025) vol. 50, 4, p. 2797-2821. https://doi.org/10.1109/JOE.2025.3592285