Two Papers at LAFI 2026
December 3, 2025
The two papers “Verifying Sampling Algorithms via Distributional Invariants” by Kevin Batz (University College London), Joost-Pieter Katoen, Tobias Winkler and Daniel Zilken and “Generating Functions
News
Paper at Dafny 2026
November 14, 2025
The paper “Diagnostics in Probabilistic Program Verification” by Philipp Schröer, Darion Haase, and Joost-Pieter Katoen has been accepted at the Dafny 2026 workshop. The paper focuses on effective use
Papier in FSMD Journal
November 13, 2025
The paper “Search and Explore: Symbiotic Policy Synthesis in POMDPs” by Roman Andruishchenko (Brno University of Technology), Alexander Bork, Milan Češka (Brno University of Technology), Sebastian Jun
Paper at ICTAC 2025
August 30, 2025
The paper “Weighted Automata for Exact Inference in Discrete Probabilistic Programs” by Dominik Geißler (TU Berlin) and Tobias Winkler has been accepted for presentation at ICTAC 2025. The paper explo