Skip to main navigation
Skip to search
Skip to main content
Åbo Akademi University Home
English
Svenska
Suomi
Home
Persons
Research units
Projects
Publications
Datasets
Prizes
Activities
Press/Media
Impacts
Courses
Equipment
Search by expertise, name or affiliation
Doctoral Network in Information Technologies and Mathematics
Åbo Akademi University
Faculty of Science and Engineering
Overview
Fingerprint
Network
Persons
(3)
Projects
(5)
Publications
(72)
Datasets
(1)
Publications
Research output per year
2013
2013
2015
2016
2017
2018
2019
2020
2023
205
Citations
8
h-index
34
Conference contribution
18
Article
12
Commissioned report
4
Doctoral Thesis
4
More
2
Chapter
1
Abstract
1
Other contribution
Research output per year
Research output per year
1 results
Publication Year, Title
(descending)
Publication Year, Title
(ascending)
Title
Type
Filter
Abstract
Search results
2021
Formal Development of Multi-vessel Navigation of Maritime Autonomous Systems using UPPAAL STRATEGO
Shokri-Manninen, F.
,
Vain, J.
&
Waldén, M.
,
2021
.
4 p.
Research output
:
Contribution to conference
›
Abstract
›
Scientific
Open Access
File
Multi Agent Systems
100%
Collisions
66%
Autonomous System
33%
Safety Critical Systems
33%
Cost Saving
33%
14
Downloads (Pure)