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, S Junges, GA Pérez, JP Katoen
arXiv preprint arXiv:1904.01503, 2019
362019
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
292021
Stochastic games with lexicographic reachability-safety objectives
K Chatterjee, JP Katoen, M Weininger, T Winkler
International Conference on Computer Aided Verification, 398-420, 2020
232020
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
202022
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
202020
Does a program yield the right distribution? Verifying probabilistic programs via generating functions
M Chen, JP Katoen, L Klinkenberg, T Winkler
International Conference on Computer Aided Verification, 79-101, 2022
152022
Model Checking Temporal Properties of Recursive Probabilistic Programs
T Winkler, C Gehnen, JP Katoen
Foundations of Software Science and Computation Structures - 25th …, 2022
112022
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
102024
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
92020
Stochastic games with lexicographic objectives
K Chatterjee, JP Katoen, S Mohr, M Weininger, T Winkler
Formal Methods in System Design, 1-41, 2023
72023
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
52023
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
52023
Stochastic Games with Disjunctions of Multiple Objectives
T Winkler, M Weininger
Proceedings 12th International Symposium on Games, Automata, Logics, and …, 2021
5*2021
Out of Control: Reducing Probabilistic Models by Control-State Elimination
T Winkler, J Lehmann, JP Katoen
Verification, Model Checking, and Abstract Interpretation: 23rd …, 2022
42022
Model Checking Temporal Properties of Recursive Probabilistic Programs
T Winkler, C Gehnen, JP Katoen
Logical Methods in Computer Science 19, 2023
32023
Exact Probabilistic Inference Using Generating Functions
L Klinkenberg, T Winkler, M Chen, JP Katoen
arXiv preprint arXiv:2302.00513, 2023
32023
Using Thom Encodings for Real Algebraic Numbers in the Cylindrical Algebraic Decomposition
T Winkler
Bachelor’s thesis. RWTH Aachen University, 2016
12016
JP: MDP. FP. PP: Characterizing Total Expected Rewards in Markov Decision Processes as Least Fixed Points with an Application to Operational Semantics of Probabilistic Programs
K Batz, BL Kaminski, C Matheja, T Winkler
Principles of Verification: Cycling the Probabilistic Landscape: Essays …, 2024
2024
Markov Decision Processes with Sure Parity and Multiple Reachability Objectives
R Berthon, JP Katoen, T Winkler
International Conference on Reachability Problems, 203-220, 2024
2024
Accurately Computing Expected Visiting Times and Stationary Distributions in Markov Chains
H Mertens, JP Katoen, T Quatmann, T Winkler
International Conference on Tools and Algorithms for the Construction and …, 2024
2024
The system can't perform the operation now. Try again later.
Articles 1–20