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

TitleTowards the Verification of Neural Networks for Critical Cyber-Physical Systems
Publication TypeConference Paper
Year of Publication2018
AuthorsRabatin, G., and Vörös, A.
Conference Name25th Minisymposium of the Department of Measurement and Information Systems
Date Published2018
Conference LocationBudapest
PDF: