Formal verification of COLREG-Based Navigation of maritime autonomous systems
author
Shokri-Manninen, Fatima
Vain, Jüri
Walden, Marina
statement of authorship
Fatima Shokri-Manninen, Jüri Vain, Marina Waldén
source
Software Engineering and Formal Methods : 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14-18, 2020 : Proceedings
location of publication
Cham
publisher
Springer
year of publication
2020
pages
p. 41-59
series
Lecture notes in computer science ; 12310
Theoretical computer science and general issues ; 12310
conference name, date
18th International Conference, SEFM 2020, September 14–18, 2020
conference location
Amsterdam, The Netherlands
url
https://doi.org/10.1007/978-3-030-58768-0_3
subject term
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
quartile
Q3
category (general)
Computer science
Arvutiteadus
Mathematics
Matemaatika
category (sub)
Computer science. General computer science
Arvutiteadus. Üldine arvutiteadus
Mathematics. Theoretical computer science
Matemaatika. Teoreetiline arvutiteadus
name of the institution
Rahvusvahelise laevakokkupõrgete vältimise eeskirja konventsioon (1972)
keyword
verification
refinement
maritime autonomous systems
COLREG rules
collisions avoidance
navigation
safety
optimization
game theory
ISSN
0302-9743
notes
Bibliogr.: 24 ref
scientific publication
teaduspublikatsioon
classifier
3.1
TalTech department
tarkvarateaduse instituut
language
inglise
Reserch Group
High-assurance software laboratory