Sickert, Salomon
A Unified Translation of Linear Temporal Logic to ω-Automata
2019
Dissertation
130 p.

Depeweg, Stefan
Modeling Epistemic and Aleatoric Uncertainty with Bayesian Neural Networks and Latent Variables
2019
Dissertation
128 p.

Hein, Daniel
Interpretable Reinforcement Learning Policies by Evolutionary Computation
2019
Dissertation
172 p.