Sign in

Synchronizing words under LTL constraints.

Nathalie BertrandHugo FranconNicolas 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