| 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 | 36 | 2019 |
| 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 | 29 | 2021 |
| Stochastic games with lexicographic reachability-safety objectives K Chatterjee, JP Katoen, M Weininger, T Winkler International Conference on Computer Aided Verification, 398-420, 2020 | 23 | 2020 |
| 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 | 20 | 2022 |
| 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 | 20 | 2020 |
| 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 | 15 | 2022 |
| Model Checking Temporal Properties of Recursive Probabilistic Programs T Winkler, C Gehnen, JP Katoen Foundations of Software Science and Computation Structures - 25th …, 2022 | 11 | 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 | 10 | 2024 |
| 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 | 9 | 2020 |
| Stochastic games with lexicographic objectives K Chatterjee, JP Katoen, S Mohr, M Weininger, T Winkler Formal Methods in System Design, 1-41, 2023 | 7 | 2023 |
| 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 | 5 | 2023 |
| 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 | 5 | 2023 |
| 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 | 4 | 2022 |
| Model Checking Temporal Properties of Recursive Probabilistic Programs T Winkler, C Gehnen, JP Katoen Logical Methods in Computer Science 19, 2023 | 3 | 2023 |
| Exact Probabilistic Inference Using Generating Functions L Klinkenberg, T Winkler, M Chen, JP Katoen arXiv preprint arXiv:2302.00513, 2023 | 3 | 2023 |
| Using Thom Encodings for Real Algebraic Numbers in the Cylindrical Algebraic Decomposition T Winkler Bachelor’s thesis. RWTH Aachen University, 2016 | 1 | 2016 |
| 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 |
Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of TwenteVerified email at cs.rwth-aachen.de
