Towards the Verification of Neural Networks for Critical Cyber-Physical Systems

CímTowards the Verification of Neural Networks for Critical Cyber-Physical Systems
Közlemény típusaConference Paper
Kiadás éve2018
SzerzőkRabatin, G., and Vörös, A.
Konferencia neve25th Minisymposium of the Department of Measurement and Information Systems
Kiadás dátuma2018
Konferencia helyszíneBudapest
PDF: