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 2022Show all

1 paper · 1 filter

cs.FL2022

Structural Reductions and Stutter Sensitive Properties

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 proper…