activity
20232025
most citedModular assurance of an Autonomous Ferry using Contract-Based Design and Simulation-based Verification Principles

2 citations · 5 across the 4 of their papers we have counts for

collaborators

4 papers