5 citations · 9 across the 3 of their papers we have counts for
1 paper · 1 filter
Benoît Barbot, Patricia Bouyer, Serge Haddad
Verification of infinite-state Markov chains is still a challenge despite several fruitful numerical or statistical approaches. For decisive Markov chains, there is a simple numeri…