Abstract
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.
| Original language | English |
|---|---|
| Publication status | Published - 2019 |
| MoE publication type | O2 Other |
Keywords
- Formal verification
- Autonomous systems