63 citations · 135 across the 10 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…