Formal verification of COLREG-Based Navigation of maritime autonomous systems
vastutusandmed
Fatima Shokri-Manninen, Jüri Vain, Marina Waldén
allikas
Software Engineering and Formal Methods : 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14-18, 2020 : Proceedings
ilmumiskoht
Cham
kirjastus/väljaandja
ilmumisaasta
leheküljed
p. 41-59
seeria-sari
Lecture notes in computer science ; 12310
Theoretical computer science and general issues ; 12310
konverentsi nimetus, aeg
18th International Conference, SEFM 2020, September 14–18, 2020
konverentsi toimumispaik
Amsterdam, The Netherlands
ISSN
0302-9743
märkused
Bibliogr.: 24 ref
teaduspublikatsioon
teaduspublikatsioon
TTÜ struktuuriüksus
keel
inglise
asutuse kohta
Rahvusvahelise laevakokkupõrgete vältimise eeskirja konventsioon (1972)
võtmesõna
refinement
maritime autonomous systems
COLREG rules
collisions avoidance
kvartiil
klassifikaator
kategooria (üld)
kategooria (alam)
Uurimisrühm
Shokri-Manninen, F., Vain, J., Walden, M. Formal verification of COLREG-Based Navigation of maritime autonomous systems // Software Engineering and Formal Methods : 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14-18, 2020 : Proceedings. Cham : Springer, 2020. p. 41-59. (Lecture notes in computer science ; 12310, Theoretical computer science and general issues ; 12310).