@inproceedings {6408, title = {Towards the Verification of Neural Networks for Critical Cyber-Physical Systems}, booktitle = {25th Minisymposium of the Department of Measurement and Information Systems}, year = {2018}, month = {2018}, address = {Budapest}, author = {G{\'a}bor Rabatin and Andr{\'a}s V{\"o}r{\"o}s} }