Post navigation

Two Papers at Dafny 2024
November 16, 2023
Two papers were accepted at the Dafny 2024 workshop. The paper “Caesar: A Verifier for Probabilistic Programs” by Philipp Schröer, Kevin Batz, Benjamin Kaminski (Saarland University and UCL), Joost-Pieter Katoen …
Tim Quatmann wins a KI-Starter Grant
November 15, 2023
Tim Quatmann has been awarded a KI-Starter Grant for his project proposal “Verifying AI Systems under Partial Observability“. The KI-Starter Grant is an initiative of the State North-Rhine Westphalia to …
Paper at POPL 2024
November 7, 2023
The paper entitled “Programmatic Strategy Synthesis: Resolving Nondeterminism in Probabilistic Programs” by Kevin Batz, Tom Biskup, Joost-Pieter Katoen, and Tobias Winkler has been accepted at the 51st ACM SIGPLAN Symposium …