Biography
Tobias R. Torben received his M.Sc. degree in Marine Technology in 2019, specializing in marine cybernetics. He is currently pursuing a PhD in Marine Technology. His research interests include simulation-based verification, formal methods and risk-aware control design, with applications to autonomous surface vessels.
All session by Tobias R. Torben
Formal and risk-based methods for designing, testing and verifying autonomous marine control systems
28 Sep 2021
11:30 - 12:15
HOTEL ADRIATIC - LECTURE ROOM