31 citations · 69 across the 15 of their papers we have counts for
Showing 2013Show all
2 papers · 1 filter
cs.LO2013★ 1 cited
Upper-Expectation Bisimilarity and Real-valued Modal Logics
Matteo Mio
Several notions of bisimulation relations for probabilistic non-deterministic transition systems have been considered in the literature. We consider a novel testing-based behaviora…
cs.LO2013★ 12 cited
Łukasiewicz mu-Calculus
Matteo Mio, Alex Simpson
The paper explores properties of Łukasiewicz mu-calculus, a version of the quantitative/probabilistic modal mu-calculus containing both weak and strong conjunctions and disjunction…