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