Bounded Satisfiability for PCTL.

Nathalie Bertrand, John Fearnley, Sven Schewe

Browse the full CSL paper archive.