63 citations · 135 across the 10 of their papers we have counts for
1 paper · 2 filters
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…