31 citations · 69 across the 15 of their papers we have counts for
Showing 2012 · cs.LOShow all
2 papers · 2 filters
cs.LO2012★ 31 cited
Probabilistic modal μ-calculus with independent product
Matteo Mio
The probabilistic modal μ-calculus is a fixed-point logic designed for expressing properties of probabilistic labeled transition systems (PLTS's). Two equivalent semantics have bee…
cs.LO2012★ 7 cited
On the equivalence of game and denotational semantics for the probabilistic mu-calculus
Matteo Mio
The probabilistic (or quantitative) modal mu-calculus is a fixed-point logic de- signed for expressing properties of probabilistic labeled transition systems (PLTS). Two semantics…