Liveness checking as safety checking to find shortest counterexamples to linear time propertiesViktor SchuppanÉpuisé4,3Prévenez-moi
