Sciweavers

ATVA
2006
Springer
82views Hardware» more  ATVA 2006»
13 years 8 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...