Formal verification of COLREG-Based Navigation of maritime autonomous systems
autor
Shokri-Manninen, Fatima
Vain, Jüri
Walden, Marina
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
Springer
ilmumisaasta
2020
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
leitav
https://doi.org/10.1007/978-3-030-58768-0_3
märksõna
autonoomsed robotid
navigatsioon
mänguteooria
verifikatsioon
turvalisus
laevandus
Scopus
https://www.scopus.com/sourceid/25674
https://www.scopus.com/record/display.uri?eid=2-s2.0-85091595918&origin=inward&txGid=fba8bfe6cc92cf937970ed1d0fc27606
WOS
https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005
https://www.webofscience.com/wos/woscc/full-record/WOS:000722446400003
kvartiil
Q3
kategooria (üld)
Computer science
Arvutiteadus
Mathematics
Matemaatika
kategooria (alam)
Computer science. General computer science
Arvutiteadus. Üldine arvutiteadus
Mathematics. Theoretical computer science
Matemaatika. Teoreetiline arvutiteadus
asutuse kohta
Rahvusvahelise laevakokkupõrgete vältimise eeskirja konventsioon (1972)
võtmesõna
verification
refinement
maritime autonomous systems
COLREG rules
collisions avoidance
navigation
safety
optimization
game theory
ISSN
0302-9743
märkused
Bibliogr.: 24 ref
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
3.1
TTÜ struktuuriüksus
tarkvarateaduse instituut
keel
inglise
Uurimisrühm
Tugevalt tagatud tarkvara laboratoorium