Neural State Classification for Hybrid Systems. / Phan, Dung; Paoletti, Nicola; Zhang, Timothy; Grosu, Radu; Smolka, Scott A; Stoller, Scott D.

16th International Symposium on Automated Technology for Verification and Analysis (ATVA 2018). Springer, 2018. p. 422-440 (Lecture Notes in Computer Science; Vol. 11138).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

E-pub ahead of print

Documents

  • Dung Phan
  • Nicola Paoletti
  • Timothy Zhang
  • Radu Grosu
  • Scott A Smolka
  • Scott D Stoller
Original languageEnglish
Title of host publication16th International Symposium on Automated Technology for Verification and Analysis (ATVA 2018)
PublisherSpringer
Pages422-440
Number of pages19
DOIs
StateE-pub ahead of print - 30 Sep 2018

Publication series

NameLecture Notes in Computer Science
Volume11138
This open access research output is licenced under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.

ID: 31134873