7 citations · 7 across the 1 of their papers we have counts for
1 paper
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…