research
∙
11/05/2021
LTL under reductions with weaker conditions than stutter-invariance
Verification of properties expressed as-regular languages such as LTL ca...
share
research
∙
05/26/2020
Structural Reductions Revisited
Structural reductions are a powerful class of techniques that reason on ...
research
∙
03/27/2018
