Tobias Winkler

2019202020211 13 7

Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of TwenteVerified email at cs.rwth-aachen.de
Krishnendu ChatterjeeProfessor, IST AustriaVerified email at ist.ac.at
Maximilian WeiningerTechnical University of MunichVerified email at tum.de
Guillermo A. PérezAssistant Professor, University of AntwerpVerified email at uantwerpen.be
Sebastian JungesPostDoc at the University of California, BerkeleyVerified email at berkeley.edu
Pranav AshokTechnical University of MunichVerified email at in.tum.de
Jan KřetínskýTechnical University of Munich (tenure-track assistant professor)Verified email at fi.muni.cz
Joshua MoermanRWTH AachenVerified email at cs.rwth-aachen.de
Kevin BatzPhD Student, RWTH Aachen UniversityVerified email at rwth-aachen.de
Benjamin Lucien KaminskiLecturer, University College LondonVerified email at ucl.ac.uk

Tobias Winkler

Verified email at cs.rwth-aachen.de


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
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	9	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	6	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	4	2020
Out of Control: Reducing Probabilistic Models by Control-State Elimination T Winkler, J Lehman, JP Katoen arXiv preprint arXiv:2011.00983, 2020	1	2020
Using Thom Encodings for Real Algebraic Numbers in the Cylindrical Algebraic Decomposition T Winkler Bachelor’s thesis. RWTH Aachen University, 2016	1	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		2021
Generating Functions for Probabilistic Programs JP Katoen, J Moerman, T Winkler Logic-Based Program Synthesis and Transformation: 30th International …, 0

The system can't perform the operation now. Try again later.

Articles 1–7

Citations per year