Synchronizing words under LTL constraints.

Nathalie Bertrand Hugo Francon Nicolas Markey

Published in: Inf. Process. Lett. (2023)

Keyphrases

model checking
n gram
temporal logic
constraint satisfaction
keywords
constrained optimization
database
machine learning
clustering algorithm
relational databases
multiword