String Attractors: Verification and Optimization.

Dominik Kempa Alberto Policriti Nicola Prezza Eva Rotenberg

Published in: ESA (2018)

Keyphrases

optimization algorithm
optimization problems
global optimization
pattern matching
machine learning
model checking
verification method
neural network
formal verification
string matching
formal methods
optimal design
optimization model
optimization procedure
variable length
regular expressions
image sequences