30 citations · 62 across the 6 of their papers we have counts for
1 paper · 1 filter
Maximilien Colange, Dimitri Racordon, Didier Buchs
Qualitative formal verification, that seeks boolean answers about the behavior of a system, is often insufficient for practical purposes. Observing quantitative information is of i…