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.
Shaping cortical computations via short- and long-term synaptic plasticity
2024
Dissertation
213 p.
Learning to Learn Neural Representations with Limited Data and Supervision
2024
Dissertation
183 p.