Tobias Winkler
Tobias Winkler
Verified email at
Cited by
Cited by
On the Complexity of Reachability in Parametric Markov Decision Processes
T Winkler, S Junges, GA Pérez, JP Katoen
arXiv preprint arXiv:1904.01503, 2019
Approximating Values of Generalized-Reachability Stochastic Games
P Ashok, K Chatterjee, J Křetínský, M Weininger, T Winkler
Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer …, 2020
Stochastic Games with Lexicographic Reachability-Safety Objectives
K Chatterjee, JP Katoen, M Weininger, T Winkler
International Conference on Computer Aided Verification, 398-420, 2020
Out of Control: Reducing Probabilistic Models by Control-State Elimination
T Winkler, J Lehman, JP Katoen
arXiv preprint arXiv:2011.00983, 2020
Using Thom Encodings for Real Algebraic Numbers in the Cylindrical Algebraic Decomposition
T Winkler
Bachelor’s thesis. RWTH Aachen University, 2016
The complexity of reachability in parametric Markov decision processes
S Junges, JP Katoen, GA Pérez, T Winkler
Journal of Computer and System Sciences 119, 183-210, 2021
Generating Functions for Probabilistic Programs
JP Katoen, J Moerman, T Winkler
Logic-Based Program Synthesis and Transformation: 30th International …, 2021
The system can't perform the operation now. Try again later.
Articles 1–7