Paper in FMSD Journal
February 8, 2023
The paper entitled “Stochastic Games with Lexicographic Objectives” by Krishnendu Chatterjee (IST Austria), Joost-Pieter Katoen, Stephanie Moor (TU Munich), Maximilian Weininger (Tu Munich), and Tobia
News
Three papers at TACAS 2023
December 27, 2022
Three papers of the MOVES group have been accepted for TACAS 2023! “A Practitioner’s Guide to MDP Model Checking Algorithms” by Arnd Hartmanns, Sebastian Junges, Tim Quatmann and Maximilian Weininger
Journal Paper at STTT ExPLAIn
November 25, 2022
The paper entitled “First Three Years of the International Verification of Neural Networks Competition (VNN-COMP)” by Christopher Brix, Mark Müller (ETH Zurich), Stanley Bak (Stony Brook University),
Paper at POPL 2023
November 8, 2022
The paper entitled “A Calculus for Amortized Expected Runtimes” by Kevin Batz, Benjamin Kaminski (Saarland/UCL), Joost-Pieter Katoen, Christoph Matheja (DTU Lyngby) and Lena Verscht has been accepted
WhatsApp Research Award
October 11, 2022
Philipp Schroer and Joost-Pieter Katoen receive a Research Award from WhatsApp, through its parent company, Meta Platforms, Inc. for their research proposal “A Deductive Verification Infrastructure fo
Paper in Information & Computation
September 21, 2022
The paper entitled “Encoding inductive invariants as barrier certificates: synthesis via difference-of-convex programming” by [Qiuye Wang](https://arxiv.org/search/cs?searchtype=author&query=Wang%2C+Q
Journal Paper in FMSD
August 23, 2022
The paper entitled “The Probabilistic Termination Tool Amber” by Ezio Bartocci, Marcel Moosbrugger, Joost-Pieter Katoen and Laura Kovacs has been accepted in a special issue devoted to the Formal Meth
Journal Paper in FMSD
August 21, 2022
The paper entitled “Stochastic Games with Lexicographic Objectives” by Krishnendu Chatterjee (IST), Joost-Pieter Katoen, Stephanie Mohr (TUM), Maximilain Weininger (TUM) and Tobias Winkler has been ac
Paper in Journal of the ACM
July 26, 2022
The paper entitled “Generative Datalog with Continuous Distributions” by Martin Grohe, Benjamin Kaminski, Joost-Pieter Katoen and Peter Lindner has been accepted in Journal of the ACM. The paper defin
Paper at OOPSLA 2022
July 1, 2022
The paper entitled “Reasoning about Distributed Reconfigurable Systems” by Emma Ahrens (RWTH), Marius Bozga (Grenoble), Radu Iosif (Grenoble) and Joost-Pieter Katoen has been accepted for presentation
Paper at CONCUR 2022
June 26, 2022
The paper entitled “Towards Concurrent Quantitative Separation Logic” by Ira Fesefeldt, Joost-Pieter Katoen and Thomas Noll has been accepted at the 33rd International Conference on Concurrency Theory
Paper at FMICS 2022
June 24, 2022
The paper entitled “Analysing Capacity Bottlenecks in Rail Infrastructure by Episode Mining” by Th. Noll, J. Berger (both MOVES), W. Lenze, B. Kogel (both Institute of Transport Science, RWTH Aachen U
Paper at RAILWAYS 2022
June 24, 2022
The paper entitled “Identification of bottlenecks in rail infrastructure” by W. Lenze, B. Kogel (both Institute of Transport Science, RWTH Aachen University), S. Schotten, Th. Büker (both quattron man
Paper at QEST 2022
June 21, 2022
The paper entitled “POMDP Controllers With Optimal Budget” by Jip Spel, Svenja Stein and Joost-Pieter Katoen has been accepted for presentation at the 18th International Conference on Quantitative Eva
Paper at UAI 2022
May 17, 2022
The paper entitled “Inductive Synthesis of Finite-State Controllers for POMDPs” by Roman Andriushchenko_,_ Milan Ceska_,_ Sebastian Junges_,_ Joost-Pieter Katoen has been accepted for the 38th Confere