Login / Signup

A Precise Estimation of the Order of Local Testability of a Deterministic Finite Automaton.

A. N. Trahtman
Published in: Workshop on Implementing Automata (1997)
Keyphrases
  • knowledge base
  • reinforcement learning
  • computational complexity
  • domain specific
  • heuristic search