Post navigation

Paper at TACAS 2022
December 30, 2021
The paper entitled “Under-Approximating Expected Total Rewards in POMDPs” by Alexander Bork, Tim Quatmann and Joost-Pieter Katoen has been accepted for the 28th International Conference on Tools and Algorithms for …
Paper at FoSSaCS 2022
December 23, 2021
The paper entitled “ Model Checking Temporal Properties of Recursive Probabilistic Programs" by Tobias Winkler, Christina Gehnen and Joost-Pieter Katoen has been accepted at the 25th Int. Conf. on Foundations …
Paper at ESOP 2022
December 23, 2021
The paper entitled “Foundations for Entailment Checking in Quantitative Separation Logic” by Kevin Batz, Ira Fesefeldt, Marvin Jansen, Joost-Pieter Katoen, Florian Keßler, Christoph Matheja and Thomas Noll has been accepted …