Doktorandnätverk IT and Mathematics

Forskningsresultat

Publikationer per år 2013 2013 2015 2016 2017 2018 2019 2020 2024

• 260 Citeringar
• 10 h-index
• 34 Konferensbidrag
• 20 Artikel
• 12 Beställd rapport
• 4 Doktorsavhandling
• 6 Mer
  • 2 Kapitel
  • 2 Övriga bidrag
  • 1 Sammanfattning
  • 1 Kommentar/debatt

Publikationer per år

Publikationer per år

Sökresultat

• 2021

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

  Shokri-Manninen, F., Vain, J. & Waldén, M., 2021. 4 s.

  Forskningsoutput: Konferensbidrag › Sammanfattning › Vetenskaplig

  Öppen tillgång

  Fil

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