July 30, 2024
The paper “Markov Decision Processes with Sure Parity and Multiple Reachability Objectives” by Raphaël Berthon, Joost-Pieter Katoen and Tobias Winkler has been accepted for the 18th Int. Conference on
June 21, 2024
The paper entitled “A Spectrum of Approximate Probabilistic Bisimulations” by Timm Spork (TU Dresden), Christel Baier (TU Dresden), Joost-Pieter Katoen, Jakob Piribauer (TU Dresden) and Tim Quatmann h
April 11, 2024
The paper entitled “Accurately Computing Expected Visiting Times and Stationary Distributions in Markov Chains” by Hannah Mertens, Joost-Pieter Katoen, Tim Quatmann and Tobias Winkler has received the
March 21, 2024
Joost-Pieter Katoen has been elected as member of Leopoldina, the German Academy of Sciences. This academy was established in 1652 and is the oldest academy in the world. Katoen is the first computer
February 24, 2024
The paper entitled “Exact Bayesian Inference for Loopy Probabilistic Programs Using Generating Functions” by Lutz Klinkenberg, Christian Blumenthal, Mingshuai Chen, Darion Haase and Joost-Pieter Katoe
February 13, 2024
The paper “Accurately Computing Expected Visiting Times and Stationary Distributions in Markov Chains” by Hannah Mertens, Joost-Pieter Katoen, Tim Quatmann and Tobias Winkler has been nominated for on
January 18, 2024
The ERC has granted the Proof-of-Concept proposal VERIPROB (A Deductive Verifier for Probabilistic Programs) by Joost-Pieter Katoen. The grant will enables the further development of [Caesar](https://
December 22, 2023
The papers “Accurately Computing Expected Visiting Times and Stationary Distributions in Markov Chains” by Hannah Mertens, Joost-Pieter Katoen, Tim Quatmann and Tobias Winkler and “Learning Explainabl
December 10, 2023
The paper entitled “Natural Strategic Ability in Stochastic Multi-Agent Systems” by Raphael Berthon, Monyque Myttelmann, Antoniello Murano and Joost-Pieter Katoen has been accepted for the 38th AAAI C
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-Pi
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 Westphali
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 51s
November 7, 2023
The paper entitled “Model Checking Temporal Properties of Recursive Probabilistic Programs” by Tobias Winkler, Christina Gehnen and Joost-Pieter Katoen has been accepted for the special issues devoted
November 6, 2023
Tom Biskup has received the [Berthold Vöcking Master Award](https://www.informatik.rwth-aachen.de/cms/informatik/Fachgruppe/Auszeichnungen/~qbix/Preise-fuer-Abschlussarbeiten/#aaaaaaaaaaaqbiw) 2023 fo
October 27, 2023
The paper “A Deductive Verification Infrastructure for Probabilistic Programs” by Philipp Schröer, Kevin Batz, Benjamin Kaminski, Joost-Pieter Katoen and Christoph Matheja received a distinguished art