conf.researchr.org / Tobias Winkler
Registered user since Tue 30 Nov 2021
Name:Tobias Winkler
Country:Germany
Affiliation:RWTH Aachen University
Contributions
2026
LAFI
- Author of Probabilistic Programming Meets Automata Theory: Exact Inference using Weighted Automata within the LAFI 2026-track
- Author of Generating Functions Meet Occupation Measures: Invariant Synthesis for Probabilistic Loops within the LAFI 2026-track
- Author of Verifying Sampling Algorithms via Distributional Invariants within the LAFI 2026-track