Paper at FSCD 2025
May 1, 2025
The paper entield "Weighted Rewriting: Semiring Semantics for Abstract Reduction Systems" by Emma Ahrens, Jan-Christoph Kassing, Jürgen Giesl and Joost-Pieter Katoen has been accepted for the 10th Int
News
Paper at ICALP 2025
April 14, 2025
The paper entitled “Bayesian Inference in Quantum Programs” by Christina Gehnen, Dominique Unruh and Joost-Pieter Katoen has been accepted for presentation at the 52nd EATCS International Colloquium o
Two Papers at CAV 2025
April 3, 2025
The papers “Approximate Probabilistic Bisimulation for Continuous-Time Markov Chains” by Timm Spork, Christel Baier, Joost-Pieter Katoen, Sascha Klüppelholz, and Jakob Piribauer and “Efficient Probabi
Paper at VerifAI
March 17, 2025
The paper “Using GPUs And LLMs Can Be Satisfying for Nonlinear Real Arithmetic Problems” by Christopher Brix, Julia Walczak, Nils Lommen and Thomas Noll has been accepted for presentation at the Verif
Paper at OR Spektrum
February 18, 2025
The paper “The Dial-a-Ride Problem in Primary Care with Flexible Scheduling” by Felix Engelhardt, Emma Ahrens, Christina Büsing together with Felix Rauh from University Leuven has been accepted for pu
Paper at OOPSLA 2025
February 16, 2025
The paper entitled “Foundations for Deductive Verification of Continuous Probabilistic Programs: From Lebesgue to Riemann and Back” by Kevin Batz, Joost-Pieter Katoen, Francesca Randone (University of
New DFG-WEAVE Project
January 30, 2025
The DFG together with the FNRS (Belgium) have granted the project, entitled “Mixing Formal Methods and Learning Techniques for Strategy Synthesis in Partially Observable Markov Decision Processes” for
Paper in USENIX Security
January 27, 2025
The paper “CERTPHASH: Towards Certified Perceptual Hashing via Robust Training” by Yuchen Yang (Johns Hopkins University), Qichang Liu (Tsinghua University), Christopher Brix, Huan Zhang (UIUC), and Y
Paper in JAIR
December 23, 2024
The paper entitled “An Oracle-Guided Approach to Constrained Policy Synthesis Under Uncertainty” by Roman Andriushchenko, Milan Češka, Filip Macák (Brno University of Technology), Sebastian Junges (Ra
Paper at FoSSaCS 2025
December 22, 2024
The paper entitled “Quantifier Elimination and Craig Interpolation: The Quantitative Way” by Kevin Batz, Joost-Pieter Katoen and Nora Orhan has been accepted at the FoSSaCS 2025 Conference (Hamilton
Paper at TACAS 2025
December 22, 2024
The paper entitled “Fixed Point Certificates for Reachability and Expected Rewards in MDPs” by Tim Quatmann, Maximilian Schäffeler (TU Munich), Maximilian Weininger (ISTA), Tobias Winkler, Daniel Zilk
Paper at AAMAS 2025
December 20, 2024
The paper entitled “Robust Strategies for Stochastic Multi-Agent Systems” by Raphael Berthon, Joost-Pieter Katoen, Munyque Mittelmann, and Aniello Murano has been accepted as extended abstract at the
Paper at NeurIPS 2024
December 6, 2024
The paper [“Scalable Neural Network Verification with Branch-and-bound Inferred Cutting Planes”](https://openreview.net/pdf?id=FwhM1Zpyft) by Duo Zhou (University of Illinois Urbana-Champaign), Christ
Colloquium on Principles of Verification
November 12, 2024
On the occasion of Joost-Pieter Katoen’s 60th birthday, a [**Colloquium on Principles of Verification**](https://i2git.github.io/jpk60/) was organised on November 7, 2024\. It attracted more than 100
Paper at POPL 2025
November 12, 2024
The paper [“A Taxonomy of Hoare-Like Logics: Towards a Holistic View using Predicate Transformers and Kleene Algebras with Top and Tests”](https://arxiv.org/abs/2411.06416) by Lena Verscht and Benjami