Experiments on using Generative Adversarial Networks (GAN) and nondeterministic finite automaton (NFA) for learning controllers and mining specifications.
rafaelvalle/neural_network_control_improvisation
Experiments on learning controllers and mining specifications using neural networks, i.e. LSTMs, GANs, etc...
Jupyter Notebook