Moves News

Paper at MARS2020

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 compares various analysis techniques to determine the reliability of Boolean-Driven Markov Processes. It does so by analysing an emergency power supply of power plants.

Paper in IEEE TAC

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 Bernd Becker has been accepted for publication in IEEE Transactions on Automated Control (impact factor 5). The paper shows that by applying game-based abstraction to POMDP can significantly […]

New Job Opportunities as Student Assistant

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 expected with a background in theoretical computer science (mathematical logic, formal language, automata theory, computability & complexity, etc.). Drop us an email […]

Paper at LICS 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 for presentation at LICS 2020. The main result of the paper is an algorithm to compute the Pareto curve for several objectives in two-player stochastic games.

Three Papers at CAV 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 Kaminski, Joost-Pieter Katoen, Christoph Matheja and Philipp Schröer “Stochastic Games with Lexicographic Reachability-Safety Objectives” by Krishnendu Chatterjee, Joost-Pieter Katoen, Maximilian Weininger and Tobias Winkler, and “Unbounded-Time […]

Paper at PODS 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, the ACM Conference on Principles of Database Systems. The paper provides a semantics to the probabilistic programming (aka: querying) language Datalog with continuous distributions.

Paper at NFM 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 Methods Symposium. The paper reports on applying 12 SVComp and one commercial software model checkers on two C programs from automotive. Bottom line: the tools from SVComp […]

Principles of Model Checking in Chinese

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, 2008).

New Job Opportunities as Student Assistant

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

Paper in Acta Informatica

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 and Naijun Zhan was accepted for publication in the journal Acta Informatica.