Login / Signup

Recomposable restricted finite state machines: definition and solution approaches.

Jinwoo SeokAnouck Girard
Published in: Int. J. Control (2020)
Keyphrases
  • finite state machines
  • model checking
  • databases
  • test set
  • machine learning
  • semantic information
  • linear equations
  • finite state automata