@inproceedings{phan2018neural,
  title={Neural State Classification for Hybrid Systems},
  author={Phan, Dung and Paoletti, Nicola and Zhang, Timothy and Grosu, Radu and Smolka, Scott A and Stoller, Scott D},
  booktitle={International Symposium on Automated Technology for Verification and Analysis (ATVA 2018)},
  pages={422--440},
  organization =  {Springer},
  url = {https://link.springer.com/chapter/10.1007/978-3-030-01090-4_25},
  doi = {10.1007/978-3-030-01090-4_25},
  year={2018}
}