Tobias Winkler

48 papers A* 2B 3C 2Journal 31Unranked 10
YearRankTypeTitle / Venue / Authors
2026 J jnl
Generating Functions Meet Occupation Measures: Invariant Synthesis for Probabilistic Loops (Extended Version).
CoRR
Darion Haase, Kevin Batz, Adrian Gallus, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Lutz Klinkenberg, Tobias Winkler
2026 — conf
Generating Functions Meet Occupation Measures: Invariant Synthesis for Probabilistic Loops.
ESOP (1)
Darion Haase, Kevin Batz, Adrian Gallus, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Lutz Klinkenberg, Tobias Winkler
2025 J jnl
Computing Expected Visiting Times and Stationary Distributions in Markov Chains: Fast and Accurate.
J. Autom. Reason.
Hannah Mertens, Joost-Pieter Katoen, Tim Quatmann, Tobias Winkler
2025 J jnl
Efficient Probabilistic Model Checking for Relational Reachability (Extended Version).
CoRR
Lina Gerlach, Tobias Winkler, Erika Ábrahám, Borzoo Bonakdarpour, Sebastian Junges
2025 — conf
Efficient Probabilistic Model Checking for Relational Reachability.
CAV (1)
Lina Gerlach, Tobias Winkler, Erika Ábrahám, Borzoo Bonakdarpour, Sebastian Junges
2025 — conf
Fixed Point Certificates for Reachability and Expected Rewards in MDPs.
TACAS (2)
Krishnendu Chatterjee, Tim Quatmann, Maximilian Schäffeler, Maximilian Weininger, Tobias Winkler, Daniel Zilken
2025 J jnl
Fixed Point Certificates for Reachability and Expected Rewards in MDPs.
CoRR
Krishnendu Chatterjee, Tim Quatmann, Maximilian Schäffeler, Maximilian Weininger, Tobias Winkler, Daniel Zilken
2025 J jnl
Foundations for Deductive Verification of Continuous Probabilistic Programs: From Lebesgue to Riemann and Back.
CoRR
Kevin Batz, Joost-Pieter Katoen, Francesca Randone, Tobias Winkler
2025 J jnl
Foundations for Deductive Verification of Continuous Probabilistic Programs: From Lebesgue to Riemann and Back.
Proc. ACM Program. Lang.
Kevin Batz, Joost-Pieter Katoen, Francesca Randone, Tobias Winkler
2025 J jnl
Probabilistic Programming Meets Automata Theory: Exact Inference using Weighted Automata.
CoRR
Dominik Geißler, Tobias Winkler
2025 J jnl
Verifying Sampling Algorithms via Distributional Invariants.
CoRR
Kevin Batz, Joost-Pieter Katoen, Tobias Winkler, Daniel Zilken
2025 C conf
Weighted Automata for Exact Inference in Discrete Probabilistic Programs.
ICTAC
Dominik Geißler, Tobias Winkler
2025 J jnl
Weighted Automata for Exact Inference in Discrete Probabilistic Programs.
CoRR
Dominik Geißler, Tobias Winkler
2024 — conf
Accurately Computing Expected Visiting Times and Stationary Distributions in Markov Chains.
TACAS (2)
Hannah Mertens, Joost-Pieter Katoen, Tim Quatmann, Tobias Winkler
2024 J jnl
Accurately Computing Expected Visiting Times and Stationary Distributions in Markov Chains.
CoRR
Hannah Mertens, Joost-Pieter Katoen, Tim Quatmann, Tobias Winkler
2024 — conf
J-P: MDP. FP. PP - Characterizing Total Expected Rewards in Markov Decision Processes as Least Fixed Points with an Application to Operational Semantics of Probabilistic Programs.
Principles of Verification (1)
Kevin Batz, Benjamin Lucien Kaminski, Christoph Matheja, Tobias Winkler
2024 J jnl
J-P: MDP. FP. PP.: Characterizing Total Expected Rewards in Markov Decision Processes as Least Fixed Points with an Application to Operational Semantics of Probabilistic Programs (Technical Report).
CoRR
Kevin Batz, Benjamin Lucien Kaminski, Christoph Matheja, Tobias Winkler
2024 — conf
Markov Decision Processes with Sure Parity and Multiple Reachability Objectives.
RP
Raphaël Berthon, Joost-Pieter Katoen, Tobias Winkler
2024 J jnl
Markov Decision Processes with Sure Parity and Multiple Reachability Objectives.
CoRR
Raphaël Berthon, Joost-Pieter Katoen, Tobias Winkler
2024 J jnl
Programmatic Strategy Synthesis: Resolving Nondeterminism in Probabilistic Programs.
Proc. ACM Program. Lang.
Kevin Batz, Tom Jannik Biskup, Joost-Pieter Katoen, Tobias Winkler
2024 J jnl
Stochastic games with lexicographic objectives.
Formal Methods Syst. Des.
Krishnendu Chatterjee, Joost-Pieter Katoen, Stefanie Mohr, Maximilian Weininger, Tobias Winkler
2023 — conf
Certificates for Probabilistic Pushdown Automata via Optimistic Value Iteration.
TACAS (2)
Tobias Winkler, Joost-Pieter Katoen
2023 J jnl
Certificates for Probabilistic Pushdown Automata via Optimistic Value Iteration.
CoRR
Tobias Winkler, Joost-Pieter Katoen
2023 J jnl
Exact Probabilistic Inference Using Generating Functions.
CoRR
Lutz Klinkenberg, Tobias Winkler, Mingshuai Chen, Joost-Pieter Katoen
2023 J jnl
Model Checking Temporal Properties of Recursive Probabilistic Programs.
Log. Methods Comput. Sci.
Tobias Winkler, Christina Gehnen, Joost-Pieter Katoen
2023 A* conf
On Certificates, Expected Runtimes, and Termination in Probabilistic Pushdown Automata.
LICS
Tobias Winkler, Joost-Pieter Katoen
2023 J jnl
On Certificates, Expected Runtimes, and Termination in Probabilistic Pushdown Automata.
CoRR
Tobias Winkler, Joost-Pieter Katoen
2023 J jnl
Programmatic Strategy Synthesis: Resolving Nondeterminism in Probabilistic Programs.
CoRR
Kevin Batz, Tom Jannik Biskup, Joost-Pieter Katoen, Tobias Winkler
2022 — conf
Does a Program Yield the Right Distribution? - Verifying Probabilistic Programs via Generating Functions.
CAV (1)
Mingshuai Chen, Joost-Pieter Katoen, Lutz Klinkenberg, Tobias Winkler
2022 J jnl
Does a Program Yield the Right Distribution? Verifying Probabilistic Programs via Generating Functions.
CoRR
Mingshuai Chen, Joost-Pieter Katoen, Lutz Klinkenberg, Tobias Winkler
2022 B conf
Model Checking Temporal Properties of Recursive Probabilistic Programs.
FoSSaCS
Tobias Winkler, Christina Gehnen, Joost-Pieter Katoen
2022 B conf
Out of Control: Reducing Probabilistic Models by Control-State Elimination.
VMCAI
Tobias Winkler, Johannes Lehmann, Joost-Pieter Katoen
2022 J jnl
Weighted Programming.
CoRR
Kevin Batz, Adrian Gallus, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Tobias Winkler
2022 J jnl
Weighted programming: a programming paradigm for specifying mathematical models.
Proc. ACM Program. Lang.
Kevin Batz, Adrian Gallus, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Tobias Winkler
2021 J jnl
Model Checking Temporal Properties of Recursive Probabilistic Programs.
CoRR
Tobias Winkler, Christina Gehnen, Joost-Pieter Katoen
2021 J jnl
Stochastic Games with Disjunctions of Multiple Objectives (Technical Report).
CoRR
Tobias Winkler, Maximilian Weininger
2021 — conf
Stochastic Games with Disjunctions of Multiple Objectives.
GandALF
Tobias Winkler, Maximilian Weininger
2021 J jnl
The complexity of reachability in parametric Markov decision processes.
J. Comput. Syst. Sci.
Sebastian Junges, Joost-Pieter Katoen, Guillermo A. Pérez, Tobias Winkler
2020 A* conf
Approximating Values of Generalized-Reachability Stochastic Games.
LICS
Pranav Ashok, Krishnendu Chatterjee, Jan Kretínský, Maximilian Weininger, Tobias Winkler
2020 C conf
Generating Functions for Probabilistic Programs.
LOPSTR
Lutz Klinkenberg, Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Joshua Moerman, Tobias Winkler
2020 J jnl
Generating Functions for Probabilistic Programs.
CoRR
Lutz Klinkenberg, Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Joshua Moerman, Tobias Winkler
2020 J jnl
Out of Control: Reducing Probabilistic Models by Control-State Elimination.
CoRR
Tobias Winkler, Johannes Lehmann, Joost-Pieter Katoen
2020 — conf
Stochastic Games with Lexicographic Reachability-Safety Objectives.
CAV (2)
Krishnendu Chatterjee, Joost-Pieter Katoen, Maximilian Weininger, Tobias Winkler
2020 J jnl
Stochastic Games with Lexicographic Reachability-Safety Objectives.
CoRR
Krishnendu Chatterjee, Joost-Pieter Katoen, Maximilian Weininger, Tobias Winkler
2020 J jnl
The Complexity of Reachability in Parametric Markov Decision Processes.
CoRR
Sebastian Junges, Joost-Pieter Katoen, Guillermo A. Pérez, Tobias Winkler
2019 B conf
On the Complexity of Reachability in Parametric Markov Decision Processes.
CONCUR
Tobias Winkler, Sebastian Junges, Guillermo A. Pérez, Joost-Pieter Katoen
2019 J jnl
On the Complexity of Reachability in Parametric Markov Decision Processes.
CoRR
Tobias Winkler, Sebastian Junges, Guillermo A. Pérez, Joost-Pieter Katoen
2007 J jnl
Real-Time Interaction with a Humanoid Avatar in an Immersive Table Tennis Simulation.
IEEE Trans. Vis. Comput. Graph.
Stephan Rusdorf, Guido Brunnett, Mario Lorenz, Tobias Winkler