Follow
Tobias Winkler
Tobias Winkler
Verified email at cs.rwth-aachen.de
Title
Cited by
Cited by
Year
On the complexity of reachability in parametric Markov decision processes
T Winkler, J Sebastian, GA Pérez, JP Katoen
30th International Conference on Concurrency Theory (CONCUR), 14:1-14:17, 2019
272019
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
212021
Stochastic games with lexicographic reachability-safety objectives
K Chatterjee, JP Katoen, M Weininger, T Winkler
International Conference on Computer Aided Verification, 398-420, 2020
162020
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
152020
Weighted programming: a programming paradigm for specifying mathematical models
K Batz, A Gallus, BL Kaminski, JP Katoen, T Winkler
Proceedings of the ACM on Programming Languages 6 (OOPSLA1), 1-30, 2022
112022
Does a Program Yield the Right Distribution?
M Chen, JP Katoen, L Klinkenberg, T Winkler
International Conference on Computer Aided Verification, 79-101, 2022
102022
Model Checking Temporal Properties of Recursive Probabilistic Programs
T Winkler, C Gehnen, JP Katoen
Foundations of Software Science and Computation Structures - 25th …, 2022
52022
Generating Functions for Probabilistic Programs
L Klinkenberg, K Batz, BL Kaminski, JP Katoen, J Moerman, T Winkler
International Symposium on Logic-Based Program Synthesis and Transformation …, 2020
42020
Stochastic Games with Disjunctions of Multiple Objectives
T Winkler, M Weininger
Proceedings 12th International Symposium on Games, Automata, Logics, and …, 2021
3*2021
Certificates for Probabilistic Pushdown Automata via Optimistic Value Iteration
T Winkler, JP Katoen
Tools and Algorithms for the Construction and Analysis of Systems: 29th …, 2023
22023
Stochastic games with lexicographic objectives
K Chatterjee, JP Katoen, S Mohr, M Weininger, T Winkler
Formal Methods in System Design, 1-41, 2023
22023
Exact Probabilistic Inference Using Generating Functions
L Klinkenberg, T Winkler, M Chen, JP Katoen
arXiv preprint arXiv:2302.00513, 2023
22023
Out of Control: Reducing Probabilistic Models by Control-State Elimination
J Lehmann, JP Katoen
Verification, Model Checking, and Abstract Interpretation: 23rd …, 2022
2*2022
Programmatic Strategy Synthesis: Resolving Nondeterminism in Probabilistic Programs
K Batz, TJ Biskup, JP Katoen, T Winkler
Proceedings of the ACM on Programming Languages 8 (POPL), 2792-2820, 2024
12024
On certificates, expected runtimes, and termination in probabilistic pushdown automata
T Winkler, JP Katoen
2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-13, 2023
12023
Using Thom Encodings for Real Algebraic Numbers in the Cylindrical Algebraic Decomposition
T Winkler
Bachelor’s thesis. RWTH Aachen University, 2016
12016
Accurately Computing Expected Visiting Times and Stationary Distributions in Markov Chains
H Mertens, JP Katoen, T Quatmann, T Winkler
arXiv preprint arXiv:2401.10638, 2024
2024
Complexity and Decidability of Multi-Objective Stochastic Games
T WINKLER
TU Munich, 2019
2019
Polyhedral Approximation of NRA
T Winkler
The system can't perform the operation now. Try again later.
Articles 1–19