Bounded Model Checking for Probabilistic Programs.

Nils Jansen, Christian Dehnert, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Lukas Westhofen

Browse the full ATVA paper archive.