1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.LO2020
Decisiveness of Stochastic Systems and its Application to Hybrid Models (Full Version)
Patricia Bouyer, Thomas Brihaye, Mickael Randour +2
In [ABM07], Abdulla et al. introduced the concept of decisiveness, an interesting tool for lifting good properties of finite Markov chains to denumerable ones. Later, this concept…
cs.LO2020★ 1 cited
Decisiveness of Stochastic Systems and its Application to Hybrid Models
Patricia Bouyer, Thomas Brihaye, Mickael Randour +2
In [ABM07], Abdulla et al. introduced the concept of decisiveness, an interesting tool for lifting good properties of finite Markov chains to denumerable ones. Later, this concept…