I'm especially interested in their use in model checking applications. I have Open, Closed and Mixed Networks of Queues with Different Classes of Customers by Baskett et al. Any other suggestions for reading material? Thanks.

  • $\begingroup$ what exactly do you have in mind? Sampling or search applications? $\endgroup$ Commented Aug 18, 2010 at 1:58
  • $\begingroup$ sorry, you've said model checking. I don't know much about that stuff, so I don't know which complexity metric is more important. It seems to me that for probabilistic model checking you need to know the stationary distribution, so maybe a survey on mixing times could be more useful. $\endgroup$ Commented Aug 18, 2010 at 2:07
  • $\begingroup$ What are the types of tasks interesting with HMM for you? $\endgroup$ Commented Jun 28, 2017 at 0:16

1 Answer 1


There is this unpublished book by Aldous and Fill, two experts in the field. You'll find walks on product of chains there.


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.