Stem pctl$ (all stems)

3 papers:

CAV-2013-PuggelliLSS #nondeterminism #polynomial #verification

Polynomial-Time Verification of PCTL Properties of MDPs with Convex Uncertainties (AP, WL, ALSV, SAS), pp. 527–542.

TACAS-2012-HolzlN #model checking #verification

Verifying pCTL Model Checking (JH, TN), pp. 347–361.

CSL-2012-BertrandFS #bound #satisfiability

Bounded Satisfiability for PCTL (NB, JF, SS), pp. 92–106.