Publications

Vacancies in Quantum Computing
August 31, 2023
Our group has to offer two PhD positions in Interdisciplinary Doctoral Program in Quantum Systems Integration at RWTH Aachen University. The first is about formal methods for supporting the development …
Paper in JAIR
July 30, 2023
The paper entitled “Automatically Finding the Right Probabilities in Bayesian Networks” by Bahare Salmani and Joost-Pieter Katoen has been accepted for publication in the Journal of Artificial Intelligence Research. The …
Paper at OOPSLA 2023
July 3, 2023
The paper entitled “A Deductive Verification Infrastructure for Probabilistic Programs” by Philipp Schröer, Kevin Batz, Benjamin Kaminski (Saarland University and UCL), Joost-Pieter Katoen and Christoph Matheja (TU Denmark) has been …