@inproceedings{neuralexplorerstatespaceexplorationof,
  title = {NeuralExplorer: State Space Exploration of Closed Loop Control Systems Using Neural Networks},
  year = {2020},
  booktitle = {L4DC 2020 6},
  eprint = {2007.05685},
  archivePrefix = {arXiv},
  url = {http://arxiv.org/abs/2007.05685v1},
}