Tobias Winkler

According to our database, Tobias Winkler authored at least 20 papers between 2007 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Programmatic Strategy Synthesis: Resolving Nondeterminism in Probabilistic Programs.

Kevin Batz, Tom Jannik Biskup, Joost-Pieter Katoen, Tobias Winkler

Proc. ACM Program. Lang., January, 2024

Accurately Computing Expected Visiting Times and Stationary Distributions in Markov Chains.

Hannah Mertens, Joost-Pieter Katoen, Tim Quatmann, Tobias Winkler

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

2023

Accurately Computing Expected Visiting Times and Stationary Distributions in Markov Chains (Artifact).

Hannah Mertens, Joost-Pieter Katoen, Tim Quatmann, Tobias Winkler

Dataset, December, 2023

ARTIFACT EVALUATION FOR TACAS '23 SUBMISSION 103: "Certificates for Probabilistic Pushdown Automata via Optimistic Value Iteration".

Tobias Winkler, Joost-Pieter Katoen

Dataset, January, 2023

Model Checking Temporal Properties of Recursive Probabilistic Programs.

Tobias Winkler, Christina Gehnen, Joost-Pieter Katoen

Log. Methods Comput. Sci., 2023

Exact Probabilistic Inference Using Generating Functions.

Lutz Klinkenberg, Tobias Winkler, Mingshuai Chen, Joost-Pieter Katoen

CoRR, 2023

Certificates for Probabilistic Pushdown Automata via Optimistic Value Iteration.

Tobias Winkler, Joost-Pieter Katoen

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

On Certificates, Expected Runtimes, and Termination in Probabilistic Pushdown Automata.

Tobias Winkler, Joost-Pieter Katoen

LICS, 2023

2022

Prodigy - Artifact Evaluation at CAV 2022.

Mingshuai Chen, Joost-Pieter Katoen, Lutz Klinkenberg, Tobias Winkler

Dataset, May, 2022

Weighted programming: a programming paradigm for specifying mathematical models.

Kevin Batz, Adrian Gallus, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Tobias Winkler

Proc. ACM Program. Lang., 2022

Weighted Programming.

Kevin Batz, Adrian Gallus, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Tobias Winkler

CoRR, 2022

Out of Control: Reducing Probabilistic Models by Control-State Elimination.

Tobias Winkler, Johannes Lehmann, Joost-Pieter Katoen

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2022

Does a Program Yield the Right Distribution? - Verifying Probabilistic Programs via Generating Functions.

Mingshuai Chen, Joost-Pieter Katoen, Lutz Klinkenberg, Tobias Winkler

Proceedings of the Computer Aided Verification - 34th International Conference, 2022

2021

The complexity of reachability in parametric Markov decision processes.

Sebastian Junges, Joost-Pieter Katoen, Guillermo A. Pérez, Tobias Winkler

J. Comput. Syst. Sci., 2021

Stochastic Games with Disjunctions of Multiple Objectives.

Tobias Winkler, Maximilian Weininger

Proceedings of the Proceedings 12th International Symposium on Games, 2021

Stochastic Games with Disjunctions of Multiple Objectives (Technical Report).

Tobias Winkler, Maximilian Weininger

CoRR, 2021

2020

Generating Functions for Probabilistic Programs.

Lutz Klinkenberg, Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Joshua Moerman, Tobias Winkler

Proceedings of the Logic-Based Program Synthesis and Transformation, 2020

Approximating Values of Generalized-Reachability Stochastic Games.

Pranav Ashok, Krishnendu Chatterjee, Jan Kretínský, Maximilian Weininger, Tobias Winkler

Proceedings of the LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science, 2020

Stochastic Games with Lexicographic Reachability-Safety Objectives.

Krishnendu Chatterjee, Joost-Pieter Katoen, Maximilian Weininger, Tobias Winkler

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

2007

Real-Time Interaction with a Humanoid Avatar in an Immersive Table Tennis Simulation.

Stephan Rusdorf, Guido Brunnett, Mario Lorenz, Tobias Winkler

IEEE Trans. Vis. Comput. Graph., 2007