Embedded Files
Currently Open Master's Projects
Currently Open Master's Projects
Underwater human-robot collaboration
Verification of neural networks
See available projects at this link or pitch me a new project related to my research areas via email.
Previously Supervised Master's Student Theses
Previously Supervised Master's Student Theses
2024
2024
Formal Verification of Causal Reinforcement Learning Controllers
Formal Verification of Causal Reinforcement Learning Controllers
Jule Marie Schmidt
Non-Myopic Informative Path Planning with Bayesian Optimization for Autonomous Underwater Vehicle Mapping
Non-Myopic Informative Path Planning with Bayesian Optimization for Autonomous Underwater Vehicle Mapping
Alexander Wallén Kiessling
2025
2025
Safe Return Path Planning for
Autonomous Underwater Vehicles
Safe Return Path Planning for
Autonomous Underwater Vehicles
Aryan Dolas
Page updated
Google Sites
Report abuse