我对它们在模型检查应用程序中的使用特别感兴趣。Baskett等人提供了具有不同类别客户的开放,封闭和混合队列网络。还有其他阅读材料的建议吗?谢谢。
您到底在想什么?采样或搜索应用程序?
—
Marcos Villagra
抱歉,您已经说过模型检查。我对这些东西不太了解,所以我不知道哪个复杂性指标更重要。在我看来,对于概率模型检查,您需要了解平稳分布,因此也许对混合时间进行调查可能会更有用。
—
Marcos Villagra
HMM对您而言有趣的任务类型是什么?
—
Vasyl Lyashkevych