Verifying Probabilistic Programs (VeriProP)

Fredrik Dahlqvist, Sebastian Junges, Benjamin Kaminski, Christoph Matheja

Abstract: This workshop will provide a forum for research on the automated verification of probabilistic systems that are in some way described by a programming language, with a particular focus on both symbolic methods and compositional approaches.

Visit the workshop's website, or select an event below to watch its recording.