Tractable Probabilistic mu-Calculus That Expresses Probabilistic Temporal Logics

DOI10.4230/LIPICS.STACS.2015.211zbMath1355.68173OpenAlexW1597006399MaRDI QIDQ2954997

Nir Piterman, Pablo F. Castro, Cecilia Kilmurray

Publication date: 24 January 2017

Full work available at URL: https://drops.dagstuhl.de/opus/volltexte/2015/4915/pdf/15.pdf/

zbMATH Keywords

model checkinggame semanticsmu-calculusprobabilistic logics

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

Related Items (4)

Equivalence of probabilistic \(\mu\)-calculus and p-automata ⋮ Unnamed Item ⋮ Unnamed Item ⋮ OBLIGATION BLACKWELL GAMES AND P-AUTOMATA

This page was built for publication: Tractable Probabilistic mu-Calculus That Expresses Probabilistic Temporal Logics