• Formal verification of maritime autonomous systems using UPPAAL STRATEGOShokri-Manninen, Fatima; Vain, Jüri; Walden, Marina31st Nordic Workshop on Programming Theory, NWPT 2019, Tallinn, Estonia, 13-15 November 2019 : abstracts2019 / p. 58-61 : ill https://doi.org/10.23658/taltech.nwpt/2019