@booklet {,
	title = {Neural Simplex Architecture},
	year = {2020},
	author = {Dung T. Phan and Radu Grosu and Nils Jansen and Nicola Paoletti and Scott A. Smolka and Scott D. Stoller}
}
@conference {,
	title = {Neural State Classification for Hybrid Systems},
	booktitle = {Proc.\ 16th International Symposium on Automated Technology for Verification and Analysis (ATVA 2018)},
	year = {2018},
	publisher = {Springer-Verlag},
	organization = {Springer-Verlag},
	author = {Dung Phan and Nicola Paoletti and Timothy Zhang and Radu Grosu and Scott A. Smolka and Scott D. Stoller}
}
