BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
satisfi (1)
mdps (1)
uncertainti (1)
convex (1)
bound (1)

Stem pctl$ (all stems)

3 papers:

CAVCAV-2013-PuggelliLSS #nondeterminism #polynomial #verification
Polynomial-Time Verification of PCTL Properties of MDPs with Convex Uncertainties (AP, WL, ALSV, SAS), pp. 527–542.
TACASTACAS-2012-HolzlN #model checking #verification
Verifying pCTL Model Checking (JH, TN), pp. 347–361.
CSLCSL-2012-BertrandFS #bound #satisfiability
Bounded Satisfiability for PCTL (NB, JF, SS), pp. 92–106.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.