Seguir
Tobias Winkler
Tobias Winkler
Dirección de correo verificada de cs.rwth-aachen.de
Título
Citado por
Citado por
Año
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
332019
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
232021
Stochastic games with lexicographic reachability-safety objectives
K Chatterjee, JP Katoen, M Weininger, T Winkler
International Conference on Computer Aided Verification, 398-420, 2020
192020
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
172022
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
172020
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
132022
Model Checking Temporal Properties of Recursive Probabilistic Programs
T Winkler, C Gehnen, JP Katoen
Foundations of Software Science and Computation Structures - 25th …, 2022
82022
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
62020
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
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
32024
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
32023
Stochastic games with lexicographic objectives
K Chatterjee, JP Katoen, S Mohr, M Weininger, T Winkler
Formal Methods in System Design, 1-41, 2023
32023
Exact Probabilistic Inference Using Generating Functions
L Klinkenberg, T Winkler, M Chen, JP Katoen
arXiv preprint arXiv:2302.00513, 2023
32023
Stochastic Games with Disjunctions of Multiple Objectives
T Winkler, M Weininger
Proceedings 12th International Symposium on Games, Automata, Logics, and …, 2021
3*2021
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
22023
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
International Conference on Tools and Algorithms for the Construction and …, 2024
2024
Model Checking Temporal Properties of Recursive Probabilistic Programs
T Winkler, C Gehnen, JP Katoen
Logical Methods in Computer Science 19, 2023
2023
Complexity and Decidability of Multi-Objective Stochastic Games
T WINKLER
TU Munich, 2019
2019
Polyhedral Approximation of NRA
T Winkler
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20