Correct-by-Construction Controller Synthesis for Safety-Critical Systems
2024
Dissertation
220 p.
Turbulence simulations of the high confinement mode pedestal in tokamak fusion experiments
2024
Dissertation
210 p.
Learning to Learn Neural Representations with Limited Data and Supervision
2024
Dissertation
183 p.