Login / Signup

Decreasing the length of adaptive distinguishing experiments for nondeterministic merging-free finite state machines.

Nina YevtushenkoNatalia Kushik
Published in: EWDTS (2015)
Keyphrases
  • finite state machines
  • finite state automata
  • model checking
  • hidden markov models
  • regular expressions
  • object oriented
  • finite state
  • finite automata
  • image segmentation
  • database systems
  • markov chain
  • fixed length