Verification of Binarized Neural Networks via Inter-neuron Factoring: (Short Paper) CH Cheng, G Nührenberg, CH Huang, H Ruess Verified Software. Theories, Tools, and Experiments: 10th International …, 2018 | 60 | 2018 |
Towards dependability metrics for neural networks CH Cheng, CH Huang, H Ruess, H Yasuoka 2018 16th ACM/IEEE International Conference on Formal Methods and Models for …, 2018 | 50 | 2018 |
Quantitative projection coverage for testing ml-enabled autonomous systems CH Cheng, CH Huang, H Yasuoka Automated Technology for Verification and Analysis: 16th International …, 2018 | 47 | 2018 |
G4LTL-ST: Automatic Generation of PLC Programs CH Cheng, CH Huang, H Ruess, S Stattelmann Computer Aided Verification: 26th International Conference, CAV 2014, Held …, 2014 | 23 | 2014 |
nn-dependability-kit: Engineering neural networks for safety-critical autonomous driving systems CH Cheng, CH Huang, G Nührenberg 2019 IEEE/ACM International Conference on Computer-Aided Design (ICCAD), 1-6, 2019 | 21 | 2019 |
A temporal logic for the interaction of strategies F Wang, CH Huang, F Yu International Conference on Concurrency Theory, 466-481, 2011 | 21 | 2011 |
Towards safety verification of direct perception neural networks CH Cheng, CH Huang, T Brunner, V Hashemi 2020 Design, Automation & Test in Europe Conference & Exhibition (DATE …, 2020 | 19 | 2020 |
nn-dependability-kit: Engineering neural networks for safety-critical systems CH Cheng, CH Huang, G Nührenberg arXiv preprint arXiv:1811.06746, 2018 | 4 | 2018 |
Temporal specification mining for anomaly analysis F Wang, JH Wu, CH Huang, CC Chang, CC Li Programming Languages and Systems: 11th Asian Symposium, APLAS 2013 …, 2013 | 4 | 2013 |
Model-checking iterated games CH Huang, S Schewe, F Wang Acta Informatica 54, 625-654, 2017 | 3 | 2017 |