PDF:
Towards the Verification of Neural Networks for Critical Cyber-Physical Systems
| Title | Towards the Verification of Neural Networks for Critical Cyber-Physical Systems |
| Publication Type | Conference Paper |
| Year of Publication | 2018 |
| Authors | Rabatin, G., and Vörös, A. |
| Conference Name | 25th Minisymposium of the Department of Measurement and Information Systems |
| Date Published | 2018 |
| Conference Location | Budapest |
