Bounded Satisfiability for PCTL

DOI10.4230/LIPIcs.CSL.2012.92zbMath1252.68189arXiv1204.0469OpenAlexW2963957680MaRDI QIDQ4649540

Sven Schewe, John Fearnley, Nathalie Bertrand

Publication date: 22 November 2012

Full work available at URL: https://arxiv.org/abs/1204.0469

zbMATH Keywords

temporal logicsatisfiabilityprobabilistic logic

Mathematics Subject Classification ID

Related Items (5)

Baire Category Quantifier in Monadic Second Order Logic ⋮ The satisfiability problem for a quantitative fragment of PCTL ⋮ Satisfiability of quantitative probabilistic CTL: rise to the challenge ⋮ Unnamed Item ⋮ The satisfiability problem for a quantitative fragment of PCTL

This page was built for publication: Bounded Satisfiability for PCTL