Benutzer: Gast  Login
Sortieren nach:
und:
Mehr ...

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

Mehr ...

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