Ashok, Pranav
A Learning Twist on Controllers: Synthesis via Partial Exploration and Concise Representations
2021
Dissertation
155 p.

Meggendorfer, Tobias
Verification of Discrete-Time Markov Decision Processes
2021
Dissertation
170 p.