7 citations · 8 across the 4 of their papers we have counts for
1 paper · 1 filter
Noe Hernandez, Kerstin Eder, Evgeni Magid +2
The formal verification of properties of Hidden Markov Models (HMMs) is highly desirable for gaining confidence in the correctness of the model and the corresponding system. A sign…