@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}
}
