Doctoral Network in Information Technologies and Mathematics

Publications

Research output per year 2013 2013 2015 2016 2017 2018 2019 2020 2024

• 263 Citations
• 10 h-index
• 34 Published conference proceeding
• 20 Article
• 12 Commissioned report
• 4 Doctoral Thesis
• 7 More
  • 2 Chapter
  • 2 Other contribution
  • 1 Abstract
  • 1 Comment/debate
  • 1 Conference article

Research output per year

Research output per year

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

  • Multivessel 100%
  • Agent System 100%
  • Stochastic Behavior 33%
  • Environment Condition 33%
  • Quality Characteristics 33%
  56 Downloads (Pure)