Publications

Show all

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 24th International Conference on Autonomous …
Paper at NeurIPS 2024
December 6, 2024
The paper “Scalable Neural Network Verification with Branch-and-bound Inferred Cutting Planes” by Duo Zhou (University of Illinois Urbana-Champaign), Christopher Brix, Grani A Hanasusanto (Illinois) and Huan Zhang (Illinois) has been …
Colloquium on Principles of Verification
November 12, 2024
On the occasion of Joost-Pieter Katoen’s 60th birthday, a Colloquium on Principles of Verification was organised on November 7, 2024. It attracted more than 100 participants from all over the …