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