Login / Signup

Heuristics for Deriving Adaptive Homing and Distinguishing Sequences for Nondeterministic Finite State Machines.

Natalia KushikHüsnü Yenigün
Published in: ICTSS (2015)
Keyphrases
  • finite state machines
  • finite state automata
  • hidden markov models
  • model checking
  • search algorithm
  • database
  • heuristic search
  • sequential patterns
  • high level
  • regular expressions
  • digital circuits
  • long sequences