PDF:
Towards the Verification of Neural Networks for Critical Cyber-Physical Systems
Cím | Towards the Verification of Neural Networks for Critical Cyber-Physical Systems |
Közlemény típusa | Conference Paper |
Kiadás éve | 2018 |
Szerzők | Rabatin, G., and Vörös, A. |
Konferencia neve | 25th Minisymposium of the Department of Measurement and Information Systems |
Kiadás dátuma | 2018 |
Konferencia helyszíne | Budapest |