9 citations · 23 across the 8 of their papers we have counts for
1 paper · 1 filter
Emmanuel Paviot-Adet, Denis Poitrenaud, Etienne Renault +1
Verification of properties expressed as-regular languages such as LTL can benefit hugely from stutter-insensitivity, using a diverse set of reduction strategies. However properties…