activity
20112025
most citedCombining Explicit and Symbolic Approaches for Better On-the-Fly LTL Model Checking

5 citations · 5 across the 4 of their papers we have counts for

collaborators
Showing cs.CLShow all

1 paper · 1 filter

cs.CL2021

LTL under reductions with weaker conditions than stutter-invariance

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…