Dung Phan, Nicola Paoletti, Timothy Zhang, Radu Grosu, Scott A. Smolka, Scott D. Stoller. Neural State Classification for Hybrid Systems. In Shuvendu K. Lahiri, Chao Wang 0001, editors, Automated Technology for Verification and Analysis - 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings. Volume 11138 of Lecture Notes in Computer Science, pages 422-440, Springer, 2018. [doi]
@inproceedings{PhanPZGSS18,
title = {Neural State Classification for Hybrid Systems},
author = {Dung Phan and Nicola Paoletti and Timothy Zhang and Radu Grosu and Scott A. Smolka and Scott D. Stoller},
year = {2018},
doi = {10.1007/978-3-030-01090-4_25},
url = {https://doi.org/10.1007/978-3-030-01090-4_25},
researchr = {https://researchr.org/publication/PhanPZGSS18},
cites = {0},
citedby = {0},
pages = {422-440},
booktitle = {Automated Technology for Verification and Analysis - 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings},
editor = {Shuvendu K. Lahiri and Chao Wang 0001},
volume = {11138},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-030-01090-4},
}