Talk at NFM2020
May 19, 2020
We presented our results on benchmarking software model-checkers on automotive code at the virtual NFM2020 symposium. Check out the [video](https://youtu.be/XLzIXVNCIuk?t=19941) at https://youtu.be/XL
News
New TACAS SC Chair
May 13, 2020
We are happy to inform you that Joost-Pieter Katoen has been appointed Chair of the TACAS Steering Committee. [TACAS ](https://tacas.info)is one of the flagship conferences on formal analysis techniqu
Paper in Science of Computer Programming
May 4, 2020
The paper [“_Synthesizing and Optimizing FDIR Recovery Strategies From Fault Trees_“](https://doi.org/10.1016/j.scico.2020.102478) by Sascha Müller, Liana Mikaelyan, Andreas Gerndt (DLR German Aerospa
Paper in SafeComp 2020
May 2, 2020
The paper “A Compositional Semantics for Repairable BDMPs” by Shahid Khan, Joost-Pieter Katoen and Marc Bouissou (EDF) has been accepted for the 39th International Conference on Computer Safety, Relia
Paper at MARS2020
April 24, 2020
The paper entitled “Various Ways to Quantify BDMPs” by Marc Bouissou, Joost-Pieter Katoen, Shahid Khan and Pavel Krcal has been accepted as invited contribution to the MARS2020 workshop. The paper com
Paper in IEEE TAC
April 17, 2020
The paper entitled “Strategy Synthesis for POMDPs in Robot Planning via Game-Based Abstractions” by Leonore Winterer, Sebastian Junges, Ralf Wimmer, Nils Jansen, Ufuk Topcu, Joost-Pieter Katoen, and B
New Job Opportunities as Student Assistant
April 15, 2020
We are looking for 1-2 student assistants who would be mainly working on the correction of exercise sheets for the course of Theoretical Foundations of the UML (FUML). Applicants of the job are expect
Paper at LICS 2020
April 13, 2020
The paper entitled “Approximating Values of Generalized-Reachability Stochastic Games” by Pranav Ashok, Krishnendu Chatterjee, Jan Kretinsky, Maximilian Weininger and Tobias Winkler has been accepted
Three Papers at CAV 2020
April 6, 2020
The following three papers from the MOVES Group have been accepted for presentation at CAV 2020: “_PrIC3: Property Directed Reachability for MDPs_” by Kevin Batz, Sebastian Junges, Benjamin Lucien K
Paper at PODS 2020
March 9, 2020
The paper entitled “Generative Datalog with Continuous Distributions” by Martin Grohe, Benjamin Lucien Kaminski, Joost-Pieter Katoen and Peter Lindner has been accepted for presentation at PODS 2020,
Paper at NFM 2020
February 21, 2020
The paper “Benchmarking Software Model Checkers on Automotive Code” by Lukas Westhofen (OFFIS), Philipp Berger and Joost-Pieter Katoen has been accepted for presentation at the 12th NASA Formal Method
Principles of Model Checking in Chinese
February 20, 2020
We are pleased to announce that Tsinghua University Press is about to publish a Chinese translation of the book “Principles of Model Checking” by Christel Baier and Joost-Pieter Katoen (MIT Press, 200
New Job Opportunities as Student Assistant
February 12, 2020
As Prof. Katoen has become the head of the ICT Profilearea, we are looking for two new student assistants. Further information can be seen in the following document: [Job Information](https://moves.rw
Paper in Acta Informatica
February 10, 2020
The paper “Indecision and Delays are the Parents of Failure — Taming them Algorithmically by Synthesizing Delay-Resilient Control” by Mingshuai Chen (RWTH), Martin Fränzle, Yangjia Li, Peter N. Mosaad
Four Papers at TACAS 2020
December 23, 2019
Four papers have been accepted to TACAS 2020 in Dublin in which our group is involved: “Learning One-Clock Timed Automata” by Jie An, Mingshuai Chen, Bohua Zhan, Naijun Zhan, and Miaomiao Zhang, an