Tobias Winkler

Publications with FICTION

Conference Papers

1. Lutz Klinkenberg, Tobias Winkler, Mingshuai Chen, Joost-Pieter Katoen (2023). Exact Probabilistic Inference Using Generating Functions. In LAFI 2023. PDF Cite Code
2. Mingshuai Chen, Joost-Pieter Katoen, Lutz Klinkenberg, Tobias Winkler (2022). Does a Program Yield the Right Distribution?. In CAV 2022. PDF Cite DOI Artifact Evaluated