cs.LO
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