Person

Tobias Winkler

M. Sc.

Assoziierter Promotionsstudent

Tobias Winkler Urheberrecht: Tobias Winkler

Adresse

Room 4206
Ahornstraße 55
D-52074 Aachen

Kontakt

workPhone
Telefon: +49 241 80 21210
 

Publikationen im Rahmen von UnRAVeL

Quelle Autor(en)
[Buchbeitrag, Beitrag zu einem Tagungsband]
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