Formal Verification of Maritime Autonomous Systems Using UPPAAL STRATEGO

Fatima Shokri-Manninen, Vain Jüri, Marina Walden, Uustalu Tarmo (Redaktör), Vain Jüri (Redaktör)

Forskningsoutput: Övriga bidragPeer review

Sammanfattning

Lately the demand for autonomous ships has grown substantially. Autonomous shipsare expected to navigate safely and avoid collisions following accepted navigation rules.We model the autonomous system as a Stochastic Priced Timed Game using UPPAAL STRATEGO. The behaviour of the controller is optimised and verified in order to achievethe goal to safely reach the destination at a minimum cost.

OriginalspråkEngelska
StatusPublicerad - 2019
MoE-publikationstypO2 Other

Nyckelord

  • Formal verification
  • Autonomous systems

Fingeravtryck Fördjupa i forskningsämnen för ”Formal Verification of Maritime Autonomous Systems Using UPPAAL STRATEGO”. Tillsammans bildar de ett unikt fingeravtryck.

Citera det här