Training Linear Finite-State Machines.

Arash Ardakani Amir Ardakani Warren J. Gross

Published in: NeurIPS (2020)

Keyphrases

finite state machines
finite state automata
model checking
linear systems
training set
training data
supervised learning
domain specific
training samples
regular expressions
training algorithm
training phase
mutation testing
data sets
training process
data model
neural network