Synchronizing words under LTL constraints

Nathalie Bertrand 0001, Hugo Francon, Nicolas Markey. Synchronizing words under LTL constraints. Inf. Process. Lett., 182:106392, August 2023. [doi]

Abstract

Abstract is missing.