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

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

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