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 proceedingConference contribution

35 Downloads (Pure)
Original languageEnglish
Title of host publication16th International Symposium on Automated Technology for Verification and Analysis (ATVA 2018)
EditorsShuvendu K Lahiri, Chao Wang
PublisherSpringer
Pages422-440
Number of pages19
ISBN (Electronic)978-3-030-01090-4
ISBN (Print)978-3-030-01089-8
DOIs
Publication statusE-pub ahead of print - 30 Sept 2018

Publication series

NameLecture Notes in Computer Science
Volume11138

Cite this