Sebastian Junges

Publications with FICTION

Conference Papers

  1. (2023). Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants. In TACAS 2023. PDF Cite DOI Artifact Evaluated