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