-
detailed local inspection. Digital twin simulations: Developing simulation environments replicating sensor characteristics and anomaly conditions to test perception algorithms under controlled, repeatable
-
water, etc.) by fusing sensor data (e.g. sonar, INS, USBL). Collaborative control strategies: Developing coordinated control algorithms that allow the USV and UUV to perform joint missions without
-
properties of skeletal muscle during static and dynamic contractions. The student will also participate in early-stage algorithmic work to model muscle architecture and behavior across contraction types. In
-
for behavioural and security properties; efficient algorithms for model checking, learning and synthesis; improved explainability and safety of machine learning models, e.g. by integrating neural and symbolic