@inproceedings{34,
  author = {Dung Phan and Nicola Paoletti and Timothy Zhang and Radu Grosu and Scott Smolka and Scott Stoller},
  title = {Neural State Classification for Hybrid Systems},
  year = {2018},
  journal = {Proc.\ 16th International Symposium on Automated Technology for Verification and Analysis (ATVA 2018)},
  publisher = {Springer-Verlag},
  language = {eng},
}