@misc{indiciaeea707926e7ee,
  title = {Neural State Classification for Hybrid Systems},
  author = {Dung Phan and Nicola Paoletti and Timothy Zhang and Radu Grosu and Scott A. Smolka and Scott D. Stoller},
  year = {2018},
  doi = {10.1007/978-3-030-01090-4\_25},
  url = {https://arxiv.org/abs/1807.09901},
  note = {Source identifier: 1807.09901}
}