Modular assurance of an Autonomous Ferry using Contract-Based Design and Simulation-based Verification Principles.

Jon Arne Glomsrud Stephanie Kemna Chanjei Vasanthan Luman Zhao Dag McGeorge Tom Arne Pedersen Tobias Rye Torben Børge Rokseth Dong Trong Nguyen Modular assurance of an Autonomous Ferry using Contract-Based Design and Simulation-based Verification Principles. 2024 abs/2408.03244 CoRR https://doi.org/10.48550/arXiv.2408.03244 db/journals/corr/corr2408.html#abs-2408-03244 streams/journals/corr