Kevin Batz

Publications with FICTION

Conference Papers

1. Mingqi Yang, Kevin Batz, Mingshuai Chen, Joost-Pieter Katoen, Zhiang Wu, Jianwei Yin (2024). Latticed Craig Interpolation with an Application to Probabilistic Verification. In CIBD 2024. PDF Cite
2. Kevin Batz, Mingshuai Chen, Sebastian Junges, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja (2023). Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants. In TACAS 2023. PDF Cite DOI Artifact Evaluated
3. Kevin Batz, Mingshuai Chen, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Philipp Schröer (2021). Latticed $k$-Induction with an Application to Probabilistic Programs. In CAV 2021. PDF Cite Slides DOI Artifact Evaluated Pulp Fiction