Tobias Winkler

M. Sc.

Associated doctoral researcher

Tobias Winkler Copyright: Tobias Winkler


Room 4206
Ahornstraße 55
D-52074 Aachen


Phone: +49 241 80 21210

Publications related to UnRAVeL

Source Author(s)
[Contribution to a book, Contribution to a conference proceedings]
On the Complexity of Reachability in Parametric Markov Decision Processes
In: 30th International Conference on Concurrency Theory : CONCUR 2019, August 27-30, 2019, Amsterdam, the Netherlands / edited by Wan Fokkink, Rob van Glabbeek, 2019
[DOI: 10.4230/LIPICS.CONCUR.2019.14]
Winkler, Tobias
Junges, Sebastian
Pérez, Guillermo A.
Katoen, Joost-Pieter