We are excited to announce that our group has four papers at TACAS 2019 in Prague. This includes (a) a tool paper on COMPASS 3.0 by Marco Bozzano (FBK), Harold Bruintjes, Alessandro Cimatti (FBK), Joost-Pieter Katoen, Thomas Noll, and Stefano Tonetta (FBK), (b) the paper “Shepherding Hordes of Markov Chains” by Milan Ceska (Brno), Nils […]

Together with Peter Rossmanith’s group, we host MFCS 2019 in Aachen, August 26-29, 2019. More information can be found here: https://tcs.rwth-aachen.de/mfcs2019/

The paper “Parametric Markov Chains: PCTL Complexity and Fraction-free Gaussian Elimination” by Christel Baier, Christian Dehnert, Sebastian Junges, Joost-Pieter Katoen, Joachim Klein and Lisa Kruse has been accepted for the journal Information and Computation. The paper presents (a) an algorithm to compute reachability probabilities and expected accumulated rewards of PCTL formulas over parametric Markov chains […]

The paper entitled “Quantitative Separation Logic – A Logic for Reasoning about Probabilistic Pointer Programs” by Kevin Batz, Benjamin Kaminski, Joost-Pieter Katoen, Christoph Matheja and Thomas Noll has been accepted for presentation at the 46th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2019). The paper presents a logic for reasoning about probabilistic programs […]

The paper entitled “Rule-based Conditioning of Probabilistic Data” by Maurice van Keulen, Benjamin Kaminski, Christoph Matheja and Joost-Pieter Katoen has received the best paper award (out of 37 submissions) at the 12th Int. Conf. on Scalable Uncertainty Management (SUM 2018) in Milano, Italy.

The Supervisory Board of Schloss Dagstuhl has apppointed Joost-Pieter Katoien as member of the Dagstuhl Scientific Advisory Board. His four-year term starts on January 1, 2019.

The paper entitled “Synthesis in pMDPs: A Tale of 1001 Parameters” by Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen and Ufuk Topcu has been accepted for ATVA 2018 in Los Angeles. The key idea of the paper is to use advanced techniques from convex optimisation in tight combination with model checking for synthesizing parameters […]

The paper “Parameter-Independent Strategies for pMDPs via POMDPs” by Sebastian Arming, Ezio Bartocci, Krishnendu Chatterjee, Ana Sokolova, and Joost-Pieter Katoen and the paper Model Checking For Safe Navigation Among Humans“ by Sebastian Junges, Nils Jansen, Joost-Pieter Katoen, Ufuk Topcu, Ruohan Zhang and Mary Hayhoe have been accepted at QEST 2018 in Beijing. The first paper shows […]

The paper entitled “Rule-based Conditioning of Probabilistic Data Integration” by Maurice van Keulen, Benjamin Kaminski, Joost-Pieter Katoen, and Christoph Matheja has been accepted for the 12th Int. Conf. on Scalable Uncertainty Management. The paper presents  how to integrate evidences into a probabilistic database.

We solicit applications for PhD studentships and postdoctoral research positions in the area of verifying probabilistic programs. The positions are funded by the recently acquired ERC Advanced Grant “Formal Reasoning about Probabilistic Programs (FRAPPANT)”. What is this project all about? Probabilistic programs describe recipes on how to infer statistical conclusions about data from a complex […]