full record print

Formal verification of COLREG-Based Navigation of maritime autonomous systems

author
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
year of publication
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
ISSN
0302-9743
notes
Bibliogr.: 24 ref
scientific publication
teaduspublikatsioon
TTÜ department
language
inglise
subject term
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
Reserch Group
High-assurance software laboratory
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). https://doi.org/10.1007/978-3-030-58768-0_3