Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants.

Kevin Batz, Mingshuai Chen, Sebastian Junges, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja

Browse the full TACAS paper archive.