Doctoral Network in Information Technologies and Mathematics

Publications

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

• 223 Citations
• 8 h-index
• 34 Conference contribution
• 19 Article
• 12 Commissioned report
• 4 Doctoral Thesis
• 4 More
  • 2 Chapter
  • 1 Abstract
  • 1 Other contribution

Research output per year

Research output per year

Search results

• 2019

  Formal Verification of Maritime Autonomous Systems Using UPPAAL STRATEGO

  Shokri-Manninen, F., Jüri, V., Walden, M., Tarmo, U. (ed.) & Jüri, V. (ed.), 2019

  Research output: Other contribution › peer-review

  • Collision 100%
  • Navigation 100%
  • Controller 100%
  • Model 100%
  • Cost 100%