Neural State Classification for Hybrid Systems

Dung Phan; Nicola Paoletti; Timothy Zhang; Radu Grosu; Scott A Smolka; Scott D Stoller

doi:10.1007/978-3-030-01090-4_25

Neural State Classification for Hybrid Systems

Dung Phan, Nicola Paoletti, Timothy Zhang, Radu Grosu, Scott A Smolka, Scott D Stoller

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

43 Downloads (Pure)

Original language	English
Title of host publication	16th International Symposium on Automated Technology for Verification and Analysis (ATVA 2018)
Editors	Shuvendu K Lahiri, Chao Wang
Publisher	Springer
Pages	422-440
Number of pages	19
ISBN (Electronic)	978-3-030-01090-4
ISBN (Print)	978-3-030-01089-8
DOIs	https://doi.org/10.1007/978-3-030-01090-4_25
Publication status	E-pub ahead of print - 30 Sept 2018

Publication series

Name	Lecture Notes in Computer Science
Volume	11138

Access to Document

10.1007/978-3-030-01090-4_25

Accepted ManuscriptAccepted author manuscript, 400 KB

Cite this

Phan, D., Paoletti, N., Zhang, T., Grosu, R., Smolka, S. A., & Stoller, S. D. (2018). Neural State Classification for Hybrid Systems. In S. K. Lahiri, & C. Wang (Eds.), 16th International Symposium on Automated Technology for Verification and Analysis (ATVA 2018) (pp. 422-440). (Lecture Notes in Computer Science; Vol. 11138). Springer. Advance online publication. https://doi.org/10.1007/978-3-030-01090-4_25

@inproceedings{bc8248ca288b4a8aa3807e33885f2803,

title = "Neural State Classification for Hybrid Systems",

author = "Dung Phan and Nicola Paoletti and Timothy Zhang and Radu Grosu and Smolka, {Scott A} and Stoller, {Scott D}",

year = "2018",

month = sep,

day = "30",

doi = "10.1007/978-3-030-01090-4_25",

language = "English",

isbn = "978-3-030-01089-8",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "422--440",

editor = "Lahiri, {Shuvendu K} and Chao Wang",

booktitle = "16th International Symposium on Automated Technology for Verification and Analysis (ATVA 2018)",

}

Neural State Classification for Hybrid Systems. / Phan, Dung; Paoletti, Nicola; Zhang, Timothy et al.
16th International Symposium on Automated Technology for Verification and Analysis (ATVA 2018). ed. / Shuvendu K Lahiri; Chao Wang. Springer, 2018. p. 422-440 (Lecture Notes in Computer Science; Vol. 11138).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - Neural State Classification for Hybrid Systems

AU - Phan, Dung

AU - Paoletti, Nicola

AU - Zhang, Timothy

AU - Grosu, Radu

AU - Smolka, Scott A

AU - Stoller, Scott D

PY - 2018/9/30

Y1 - 2018/9/30

U2 - 10.1007/978-3-030-01090-4_25

DO - 10.1007/978-3-030-01090-4_25

M3 - Conference contribution

SN - 978-3-030-01089-8

T3 - Lecture Notes in Computer Science

SP - 422

EP - 440

BT - 16th International Symposium on Automated Technology for Verification and Analysis (ATVA 2018)

A2 - Lahiri, Shuvendu K

A2 - Wang, Chao

PB - Springer

ER -