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$ 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$ Aug 18, 2010 at 2:07
  • $\begingroup$ What are the types of tasks interesting with HMM for you? $\endgroup$ 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, privacy policy and cookie policy

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