Accelerated Model Checking of Parametric Markov Chains.

Paul Gainer, Ernst Moritz Hahn, Sven Schewe

Browse the full ATVA paper archive.