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
News
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
Paper at Reachability Problems 2024
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
Paper at CONCUR 2024
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
ETAPS Best Paper Award
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