Tobias Winkler

Publication Activity (10 Years)

Years Active: 2007-2024
Publications (10 Years): 29

Top Topics

Markov Decision Process

Stochastic Games

Temporal Properties

Multiple Objectives

Top Venues

Proc. ACM Program. Lang.

Publications

Hannah Mertens, Joost-Pieter Katoen, Tim Quatmann, Tobias Winkler
Accurately Computing Expected Visiting Times and Stationary Distributions in Markov Chains. CoRR (2024)
Kevin Batz, Tom Jannik Biskup, Joost-Pieter Katoen, Tobias Winkler
Programmatic Strategy Synthesis: Resolving Nondeterminism in Probabilistic Programs. Proc. ACM Program. Lang. 8 (POPL) (2024)
Hannah Mertens, Joost-Pieter Katoen, Tim Quatmann, Tobias Winkler
Accurately Computing Expected Visiting Times and Stationary Distributions in Markov Chains. TACAS (2) (2024)
Tobias Winkler, Joost-Pieter Katoen
Certificates for Probabilistic Pushdown Automata via Optimistic Value Iteration. CoRR (2023)
Tobias Winkler, Joost-Pieter Katoen
Certificates for Probabilistic Pushdown Automata via Optimistic Value Iteration. TACAS (2) (2023)
Tobias Winkler, Joost-Pieter Katoen
On Certificates, Expected Runtimes, and Termination in Probabilistic Pushdown Automata. LICS (2023)
Lutz Klinkenberg, Tobias Winkler, Mingshuai Chen, Joost-Pieter Katoen
Exact Probabilistic Inference Using Generating Functions. CoRR (2023)
Kevin Batz, Tom Jannik Biskup, Joost-Pieter Katoen, Tobias Winkler
Programmatic Strategy Synthesis: Resolving Nondeterminism in Probabilistic Programs. CoRR (2023)
Tobias Winkler, Joost-Pieter Katoen
On Certificates, Expected Runtimes, and Termination in Probabilistic Pushdown Automata. CoRR (2023)
Tobias Winkler, Christina Gehnen, Joost-Pieter Katoen
Model Checking Temporal Properties of Recursive Probabilistic Programs. Log. Methods Comput. Sci. 19 (4) (2023)
Kevin Batz, Adrian Gallus, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Tobias Winkler
Weighted Programming. CoRR (2022)
Kevin Batz, Adrian Gallus, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Tobias Winkler
Weighted programming: a programming paradigm for specifying mathematical models. Proc. ACM Program. Lang. 6 (OOPSLA) (2022)
Tobias Winkler, Johannes Lehman, Joost-Pieter Katoen
Out of Control: Reducing Probabilistic Models by Control-State Elimination. VMCAI (2022)
Mingshuai Chen, Joost-Pieter Katoen, Lutz Klinkenberg, Tobias Winkler
Does a Program Yield the Right Distribution? Verifying Probabilistic Programs via Generating Functions. CoRR (2022)
Mingshuai Chen, Joost-Pieter Katoen, Lutz Klinkenberg, Tobias Winkler
Does a Program Yield the Right Distribution? - Verifying Probabilistic Programs via Generating Functions. CAV (1) (2022)
Tobias Winkler, Christina Gehnen, Joost-Pieter Katoen
Model Checking Temporal Properties of Recursive Probabilistic Programs. FoSSaCS (2022)
Tobias Winkler, Maximilian Weininger
Stochastic Games with Disjunctions of Multiple Objectives. GandALF (2021)
Tobias Winkler, Christina Gehnen, Joost-Pieter Katoen
Model Checking Temporal Properties of Recursive Probabilistic Programs. CoRR (2021)
Tobias Winkler, Maximilian Weininger
Stochastic Games with Disjunctions of Multiple Objectives (Technical Report). CoRR (2021)
Sebastian Junges, Joost-Pieter Katoen, Guillermo A. Pérez, Tobias Winkler
The complexity of reachability in parametric Markov decision processes. J. Comput. Syst. Sci. 119 (2021)
Krishnendu Chatterjee, Joost-Pieter Katoen, Maximilian Weininger, Tobias Winkler
Stochastic Games with Lexicographic Reachability-Safety Objectives. CoRR (2020)
Pranav Ashok, Krishnendu Chatterjee, Jan Kretínský, Maximilian Weininger, Tobias Winkler
Approximating Values of Generalized-Reachability Stochastic Games. LICS (2020)
Sebastian Junges, Joost-Pieter Katoen, Guillermo A. Pérez, Tobias Winkler
The Complexity of Reachability in Parametric Markov Decision Processes. CoRR (2020)
Lutz Klinkenberg, Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Joshua Moerman, Tobias Winkler
Generating Functions for Probabilistic Programs. LOPSTR (2020)
Krishnendu Chatterjee, Joost-Pieter Katoen, Maximilian Weininger, Tobias Winkler
Stochastic Games with Lexicographic Reachability-Safety Objectives. CAV (2) (2020)
Tobias Winkler, Johannes Lehman, Joost-Pieter Katoen
Out of Control: Reducing Probabilistic Models by Control-State Elimination. CoRR (2020)
Lutz Klinkenberg, Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Joshua Moerman, Tobias Winkler
Generating Functions for Probabilistic Programs. CoRR (2020)
Tobias Winkler, Sebastian Junges, Guillermo A. Pérez, Joost-Pieter Katoen
On the Complexity of Reachability in Parametric Markov Decision Processes. CONCUR (2019)
Tobias Winkler, Sebastian Junges, Guillermo A. Pérez, Joost-Pieter Katoen
On the Complexity of Reachability in Parametric Markov Decision Processes. CoRR (2019)
Stephan Rusdorf, Guido Brunnett, Mario Lorenz, Tobias Winkler
Real-Time Interaction with a Humanoid Avatar in an Immersive Table Tennis Simulation. IEEE Trans. Vis. Comput. Graph. 13 (1) (2007)