Login / Signup

Deriving Homing Sequences for Finite State Machines with Timed Guards.

Aleksandr S. TvardovskiiNina V. Evtushenko
Published in: Autom. Control. Comput. Sci. (2021)
Keyphrases
  • finite state machines
  • hidden markov models
  • model checking
  • finite state automata
  • digital circuits
  • neural network
  • sequential patterns
  • regular expressions
  • test sequences
  • domain knowledge
  • biological sequences