Formal development of multi-vessel navigation of maritime autonomous systems using UPPAAL STRATEGO

vastutusandmed
Fatima Shokri-Manninen, Jüri Vain, and Marina Walden
ilmumisaasta
leheküljed
4 p
konverentsi nimetus, aeg
32nd Nordic Workshop on Programming Theory, NWPT 2021, 4-6 November, 2021
konverentsi toimumispaik
Reykjavik, Iceland
märkused
Bibliogr.: 12 ref
klassifikaator
5.2.
TTÜ struktuuriüksus
keel
inglise
Shokri-Manninen, F., Vain, J., Waldén, M. Formal development of multi-vessel navigation of maritime autonomous systems using UPPAAL STRATEGO // 32nd Nordic Workshop on Programming Theory, NWPT 2021, Reykjavik, Iceland, and online, 4-6 November 2021., 2021. 4 p.