TY - CPAPER
AU - Dung Phan
AU - Nicola Paoletti
AU - Timothy Zhang
AU - Radu Grosu
AU - Scott Smolka
AU - Scott Stoller
BT - Proc.\ 16th International Symposium on Automated Technology for Verification and Analysis (ATVA 2018)
LA - eng
PB - Springer-Verlag
PY - 2018
T2 - Proc.\ 16th International Symposium on Automated Technology for Verification and Analysis (ATVA 2018)
TI - Neural State Classification for Hybrid Systems
ER -