30 citations · 72 across the 17 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
cs.FL2019★ 8 cited
Computing Probabilistic Bisimilarity Distances for Probabilistic Automata
Giorgio Bacci, Giovanni Bacci, Kim G. Larsen +3
The probabilistic bisimilarity distance of Deng et al. has been proposed as a robust quantitative generalization of Segala and Lynch's probabilistic bisimilarity for probabilistic…
cs.LO2019★ 4 cited
Probabilistic logics based on Riesz spaces
Robert Furber, Radu Mardare, Matteo Mio
We introduce a novel real-valued endogenous logic for expressing properties of probabilistic transition systems called Riesz modal logic. The design of the syntax and semantics of…