Failure-based equivalence of constraint automata.

Mohammad Izadi Ali Movaghar

Published in: Int. J. Comput. Math. (2010)

Keyphrases

finite automata
regular expressions
cellular automata
probabilistic automata
np complete
finite state
soft constraints
constraint solving
linear constraints
failure recovery
constraint sets
failure detection
root cause
failure rate
data sets
query language
search space
social networks
machine learning