Tôi đặc biệt quan tâm đến việc sử dụng chúng trong các ứng dụng kiểm tra mô hình. Tôi có các mạng hàng đợi mở, đóng và hỗn hợp với các nhóm khách hàng khác nhau của Baskett et al. Bất kỳ đề nghị khác để đọc tài liệu? Cảm ơn.
what exactly do you have in mind? Sampling or search applications?
—
Marcos Villagra
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.
—
Marcos Villagra
What are the types of tasks interesting with HMM for you?
—
Vasyl Lyashkevych