Sciweavers

ATVA
2006
Springer
82views Hardware» more  ATVA 2006»
14 years 1 months ago
Eager Markov Chains
We consider infinite-state discrete Markov chains which are eager: the probability of avoiding a defined set of final states for more than
Parosh Aziz Abdulla, Noomene Ben Henda, Richard Ma...