Correct-by-Construction Controller Synthesis for Safety-Critical Systems
2024
Dissertation
220 p.
Entwicklung und Implementierung psychoakustischer Testverfahren zur Untersuchung des Hörorgans von Kleinkindern
2024
Dissertation
130 p.
Exploring Hybrid CTC/Attention End-to-End Speech Recognition: Adversarial Robustness, Sinc Convolutions, and CTC Segmentation
2024
Dissertation
165 p.
Variable Impedance Control for Compliant Robot Interactions: An Approach Based on Energy tanks, Learning from Demonstration, and Dynamical Systems
2024
Dissertation
201 p.
Toward Automated Verification of Dynamical Systems Using Forward and Backward Reachability Analysis
2024
Dissertation
180 p.
Evaluation of Risks and Security Controls for Industrial Components within Connected Manufacturing
2024
Dissertation
374 p.
The Generation and Application of Synthetic Photoacoustic Absorption Spectra for Machine Learning
2024
Dissertation
196 p.