1 citations · 1 across the 3 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…