137 citations · 510 across the 88 of their papers we have counts for
1 paper · 2 filters
Houssam Abbas, Alena Rodionova, Ezio Bartocci +2
Motivated by the problem of verifying the correctness of arrhythmia-detection algorithms, we present a formalization of these algorithms in the language of Quantitative Regular Exp…