Proc. of ATVA 2018: the 16th International Symposium on Automated Technology for Verification and Analysis
Event name
Proc. of ATVA 2018: the 16th International Symposium on Automated Technology for Verification and Analysis
Start date
07-10-2018
End date
10-10-2018
Location
Los Angeles, CA, USA
Country
Event format Veranstaltungsformat
On Site
Results 1-2 of 2 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Phan, Dung ; Paoletti, Nicola ; Zhang, Timothy ; Grosu, Radu ; Smolka, Scott A. ; Stoller, Scott D. | Neural State Classification for Hybrid Systems | Konferenzbeitrag Inproceedings  | 2018 | |
| 2 | Silvetti, Simone ; Nenzi, Laura ; Bartocci, Ezio ; Bortolussi, Luca | Signal Convolution Logic | Konferenzbeitrag Inproceedings | 2018 |