Search


Volume

Author

Year

  • < Previous
  • 1
  • Next >
1 result

Decisive Markov Chains

Parosh Aziz Abdulla ; Noomene Ben Henda ; Richard Mayr.
We consider qualitative and quantitative verification problems for infinite-state Markov chains. We call a Markov chain decisive w.r.t. a given set of target states F if it almost certainly eventually reaches either F or a state from which F can no longer be reached. While all finite Markov chains&nbsp;[&hellip;]
Published on November 8, 2007
Volume 3, Issue 4
  • < Previous
  • 1
  • Next >