Publications
Export list as BibTeX file
- November 2019nn-dependability-kit: Engineering Neural Networks for Safety-Critical Autonomous Driving SystemsChih-Hong Cheng, Chung-Hao Huang and Georg Nührenberg
In
Proceedings of the IEEE/ACM International Conference on Computer Aided Design (ICCAD),
DetailsBIB
- October 2018Quantitative Projection Coverage for Testing ML-enabled Autonomous SystemsChih-Hong Cheng, Chung-Hao Huang and Hirotoshi Yasuoka
In
Automated Technology for Verification and Analysis - 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings,
pages 126–142,
DetailsURLDOIBIB
- July 2018Verification of Binarized Neural Networks via Inter-neuron Factoring - (Short Paper)Chih-Hong Cheng, Georg Nührenberg, Chung-Hao Huang and Harald Rueß
In
Verified Software. Theories, Tools, and Experiments - 10th International Conference, VSTTE 2018, Oxford, UK, July 18-19, 2018, Revised Selected Papers,
pages 279–290,
DetailsURLDOIBIB
- 2014G4LTL-ST: Automatic Generation of PLC ProgramsChih-Hong Cheng, Chung-Hao Huang, Harald Rueß and Stefan Stattelmann
In
Computer Aided Verification - 26th International Conference, CAV
2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna,
Austria, July 18-22, 2014. Proceedings,
pages 541–549,
DetailsURLDOIBIB