%0 Conference Paper
%B Proc.\ 16th International Symposium on Automated Technology for Verification and Analysis (ATVA 2018)
%D 2018
%G eng
%I Springer-Verlag
%T Neural State Classification for Hybrid Systems