Ashok, PranavA Learning Twist on Controllers: Synthesis via Partial Exploration and Concise Representations2021Dissertation155 Seiten
Meggendorfer, TobiasVerification of Discrete-Time Markov Decision Processes2021Dissertation170 Seiten