Formal Development of Multi-vessel Navigation of Maritime Autonomous Systems using UPPAAL STRATEGO

Fatima Shokri-Manninen, Jüri Vain, Marina Waldén*

*Corresponding author for this work

Research output: Contribution to conferenceAbstractScientific

53 Downloads (Pure)

Fingerprint

Dive into the research topics of 'Formal Development of Multi-vessel Navigation of Maritime Autonomous Systems using UPPAAL STRATEGO'. Together they form a unique fingerprint.

Keyphrases

Engineering

Computer Science