Compositional Falsification of Cyber-Physical Systems with Machine Learning Components
| Title | Compositional Falsification of Cyber-Physical Systems with Machine Learning Components |
| Publication Type | Conference Paper |
| Year of Publication | 2017 |
| Authors | Tommaso Dreossi, Alexandre Donze, Sanjit A. Seshia |
| Conference Name | Proceedings of the NASA Formal Methods Conference (NFM) |
| Date Published | May |
| Keywords | 1545126 |
| Citation Key | dreossi-nfm17 |