Login / Signup
Recomposable restricted finite state machines: definition and solution approaches.
Jinwoo Seok
Anouck 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