Chung-Hao Huang

November 2019 nn-dependability-kit: Engineering Neural Networks for Safety-Critical Autonomous Driving Systems Chih-Hong Cheng, Chung-Hao Huang and Georg Nührenberg In Proceedings of the IEEE/ACM International Conference on Computer Aided Design (ICCAD), Details BIB

October 2018 Quantitative Projection Coverage for Testing ML-enabled Autonomous Systems Chih-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, Details URL DOI BIB

July 2018 Verification 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, Details URL DOI BIB

2014 G4LTL-ST: Automatic Generation of PLC Programs Chih-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, Details URL DOI BIB

Name	Purpose	Lifetime	Type	Provider
_pk_id	Used to store a few details about the user such as the unique visitor ID.	13 months	HTML	Matomo
_pk_ref	Used to store the attribution information, the referrer initially used to visit the website.	6 months	HTML	Matomo
_pk_ses	Short lived cookie used to temporarily store data for the visit.	30 minutes	HTML	Matomo
_pk_cvar	Short lived cookie used to temporarily store data for the visit.	30 minutes	HTML	Matomo
_pk_hsr	Short lived cookie used to temporarily store data for the visit.	30 minutes	HTML	Matomo

Chung-Hao Huang

Publications