Folgen
Tobias Winkler
Tobias Winkler
PhD Candidate, Software Modeling and Verification Group, RWTH Aachen University
Bestätigte E-Mail-Adresse bei cs.rwth-aachen.de - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
352019
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
312021
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
232022
Stochastic games with lexicographic reachability-safety objectives
K Chatterjee, JP Katoen, M Weininger, T Winkler
International Conference on Computer Aided Verification, 398-420, 2020
222020
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
212020
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
162022
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
132024
Model Checking Temporal Properties of Recursive Probabilistic Programs
T Winkler, C Gehnen, JP Katoen
Foundations of Software Science and Computation Structures - 25th …, 2022
122022
Stochastic games with lexicographic objectives
K Chatterjee, JP Katoen, S Mohr, M Weininger, T Winkler
Formal Methods in System Design, 1-41, 2023
102023
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
92023
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
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
72023
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
Fixed Point Certificates for Reachability and Expected Rewards in MDPs
K Chatterjee, T Quatmann, M Schäffeler, M Weininger, T Winkler, D Zilken
arXiv preprint arXiv:2501.11467, 2025
12025
Markov Decision Processes with Sure Parity and Multiple Reachability Objectives
R Berthon, JP Katoen, T Winkler
International Conference on Reachability Problems, 203-220, 2024
12024
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
12024
Exact Probabilistic Inference Using Generating Functions
L Klinkenberg, T Winkler, M Chen, JP Katoen
arXiv preprint arXiv:2302.00513, 2023
12023
Using Thom Encodings for Real Algebraic Numbers in the Cylindrical Algebraic Decomposition
T Winkler
Bachelor’s thesis. RWTH Aachen University, 2016
12016
Foundations for Deductive Verification of Continuous Probabilistic Programs: From Lebesgue to Riemann and Back
K Batz, JP Katoen, F Randone, T Winkler
arXiv preprint arXiv:2502.19388, 2025
2025
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20