Login / Signup
Algorithms finding the order of local testability of deterministic finite automaton and estimations of the order.
A. N. Trahtman
Published in:
Theor. Comput. Sci. (2000)
Keyphrases
</>
data structure
objective function
multi agent
search strategy