Christoph Matheja

Publications with FICTION

Conference Papers

1. 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
2. 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