Paper Accepted by CIBD 2024

Our extended abstract has been accepted for presentation at CIBD 2024.

Our extended abstract titled “Latticed Craig Interpolation with an Application to Probabilistic Verification” by Mingqi Yang, Kevin Batz (RWTH Aachen), Mingshuai Chen, Joost-Pieter Katoen (RWTH Aachen), Zhiang Wu, and Jianwei Yin has been accepted for presentation at CIBD 2024 – the Workshop on Theory and Applications of Craig Interpolation and Beth Definability at Amsterdam, Netherlands. This extended abstract presents our ongoing research in quantitative verification of (infinite-state) probabilistic programs with potentially unbounded loops leveraging the technique of latticed Craig interpolation.