APEX: An Analyzer for Open Probabilistic Programs.

Stefan Kiefer, Andrzej S. Murawski, Jol Ouaknine, Bjrn Wachter, James Worrell

Browse the full CAV paper archive.