Correct-by-Construction Controller Synthesis for Safety-Critical Systems
2024
Dissertation
220 p.
Adapting and Optimizing High Order Seismic Simulations for GPU-based Supercomputers
2024
Dissertation
191 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.