Doctoral Network in Information Technologies and Mathematics

Julkaisut

Julkaisuja vuodessa 2013 2013 2015 2016 2017 2018 2019 2020 2023

• 235 Viittaukset
• 8 h-index
• 34 Konferenssiartikkeli
• 19 Artikkeli
• 12 Tutkimusraportti
• 4 Tohtorinväitöskirja
• 4 Lisää
  • 2 Luku
  • 1 Tiivistelmä
  • 1 Muu myötävaikuttaminen

Julkaisuja vuodessa

Julkaisuja vuodessa

Hakutulokset

• 2021

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

  Shokri-Manninen, F., Vain, J. & Waldén, M., 2021. 4 Sivumäärä.

  Tutkimustuotos: Konferenssiin myötävaikuttaminen › Tiivistelmä › Tieteellinen

  Open access

  Tiedosto

  • Multi Agent Systems 100%
  • Collisions 66%
  • Autonomous System 33%
  • Safety Critical Systems 33%
  • Cost Saving 33%
  40 Lataukset (Pure)