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$
$\endgroup$
3
asked Aug 18, 2010 at 0:57
-
$\begingroup$ what exactly do you have in mind? Sampling or search applications? $\endgroup$– Marcos VillagraAug 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$– Marcos VillagraAug 18, 2010 at 2:07
-
$\begingroup$ What are the types of tasks interesting with HMM for you? $\endgroup$– Vasyl LyashkevychJun 28, 2017 at 0:16
Add a comment
|
1 Answer
$\begingroup$
$\endgroup$
0
There is this unpublished book by Aldous and Fill, two experts in the field. You'll find walks on product of chains there.
