19 citations · 26 across the 2 of their papers we have counts for
2 papers
cs.FL2011★ 19 cited
Computing Distances between Probabilistic Automata
Mathieu Tracol, Josée Desharnais, Abir Zhioua
We present relaxed notions of simulation and bisimulation on Probabilistic Automata (PA), that allow some error epsilon. When epsilon is zero we retrieve the usual notions of bisim…
cs.LO2011★ 7 cited
Analysis of Non-Linear Probabilistic Hybrid Systems
Joseph Assouramou, Josée Desharnais
This paper shows how to compute, for probabilistic hybrid systems, the clock approximation and linear phase-portrait approximation that have been proposed for non probabilistic pro…