Marina Walden

Publications

Research output per year 1988 1996 2003 2005 2006 2007 2009 2014 2015 2016 2021

• 52 Conference contribution
• 36 Commissioned report
• 13 Article
• 9 Chapter
• 14 More
  • 8 Edited Book/Edited Journal
  • 2 Abstract
  • 1 Other contribution
  • 1 Doctoral Thesis
  • 1 Licenciate's thesis
  • 1 Working paper

Research output per year

Research output per year

Search results

• Other contribution

  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%