특히 모델 확인 응용 프로그램에서의 사용에 관심이 있습니다. Baskett et al.에 의해 서로 다른 클래스의 고객을 가진 개방형, 폐쇄 형 및 혼합형 큐 네트워크가 있습니다. 자료 읽기에 대한 다른 제안? 감사.
정확히 무엇을 생각하고 있습니까? 샘플링 또는 검색 응용 프로그램?
—
Marcos Villagra
죄송합니다. 모델 검사를 말씀하셨습니다. 나는 그 물건에 대해 많이 알지 못하므로 어떤 복잡성 메트릭이 더 중요한지 모르겠습니다. 확률 모델 검사의 경우 고정 분포를 알아야하므로 혼합 시간에 대한 조사가 더 유용 할 수 있습니다.
—
Marcos Villagra
HMM에서 흥미로운 작업 유형은 무엇입니까?
—
Vasyl Lyashkevych 2016 년