Winkler, Tobias
- Generating Functions for Probabilistic Programs
2020/07/13 by Klinkenberg, Lutz, Batz, Kevin, Kaminski, Benjamin Lucien +3 · 3 citations
#FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Programming Languages (cs.PL)
- Does a Program Yield the Right Distribution? Verifying Probabilistic Programs via Generating Functions
2022/05/03 by Chen, Mingshuai, Katoen, Joost-Pieter, Klinkenberg, Lutz +1 · 3 citations
#FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Symbolic Computation (cs.SC)
- Programmatic Strategy Synthesis: Resolving Nondeterminism in Probabilistic Programs
2023/11/12 by Kevin Batz, Batz, Kevin, Tom Jannik Biskup +5 · 3 citations
Computer Science · Mathematics · #Bayesian Modeling and Causal Inference #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Programming Languages (cs.PL) #Statistical Methods in Clinical Trials
- The Complexity of Reachability in Parametric Markov Decision Processes
2020/09/28 by Junges, Sebastian, Katoen, Joost-Pieter, Pérez, Guillermo A. +1 · 2 citations
#FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
- Weighted Programming
2022/02/15 by Batz, Kevin, Gallus, Adrian, Kaminski, Benjamin Lucien +2 · 1 citation
#F.3.2 #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG) #Programming Languages (cs.PL)
- Fixed Point Certificates for Reachability and Expected Rewards in MDPs
2025/01/20 by Chatterjee, Krishnendu, Quatmann, Tim, Schäffeler, Maximilian +3 · 2 citations
#Discrete Mathematics (cs.DM) #FOS: Computer and information sciences #FOS: Electrical engineering #Logic in Computer Science (cs.LO) #Systems and Control (eess.SY) #electronic engineering #information engineering
- Exact Probabilistic Inference Using Generating Functions
2023/02/01 by Klinkenberg, Lutz, Winkler, Tobias, Chen, Mingshuai +1 · 1 citation
#Discrete Mathematics (cs.DM) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Programming Languages (cs.PL)
- Accurately Computing Expected Visiting Times and Stationary Distributions in Markov Chains
2024/01/19 by Hannah Mertens, Mertens, Hannah, Joost-Pieter Katoen +5 · 2 citations
Computer Science · Decision Sciences · #Advanced Software Engineering Methodologies #FOS: Computer and information sciences #FOS: Mathematics #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Probability (math.PR) #Simulation Techniques and Applications