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.- Sort by
- Weight
- Alphabetically
Fatima Shokri-Manninen, Jüri Vain, Marina Waldén*
Research output: Contribution to conference › Abstract › Scientific