[IEEE 2019 IEEE 19th International Symposium on Computational Intelligence and Informatics and 7th IEEE International Conference on Recent Achievements in Mechatronics, Automation, Computer Sciences and Robotics (CINTI-MACRo) - Szeged, Hungary (2019.11.14-2019.11.16)] 2019 IEEE 19th International Symposium on Computational Intelligence and Informatics and 7th IEEE International Conference on Recent Achievements in Mechatronics, Automation, Computer Sciences and Robotics (CINTI-MACRo) - Towards Verifiable Specifications for Neural Networks in Autonomous Driving
Remeli, Viktor, Morapitiye, Sunil, Rovid, Andras, Szalay, ZsoltYear:
2019
DOI:
10.1109/CINTI-MACRo49179.2019.9105190
File:
PDF, 613 KB
2019