Chung-Hao Huang

Identifiers

• name variant Chung-Hao Huang 0.60 · backfill

Papers (6)

1. nn-dependability-kit: Engineering Neural Networks for Safety-Critical Autonomous Driving Systems cs.LG · 2018 · author #2
2. Towards Dependability Metrics for Neural Networks cs.LG · 2018 · author #3
3. Quantitative Projection Coverage for Testing ML-enabled Autonomous Systems cs.SE · 2018 · author #2
4. Verification of Binarized Neural Networks via Inter-Neuron Factoring cs.SE · 2017 · author #3
5. G4LTL-ST: Automatic Generation of PLC Programs cs.LO · 2014 · author #2
6. Coverage Games for Testing Nondeterministic Systems cs.SE · 2013 · author #4

Mentions

• 1405.2409 #2 · backfill · confidence 0.70 Chung-Hao Huang
• 1312.6201 #4 · backfill · confidence 0.70 Chung-Hao Huang

Frequent Coauthors

• Chih-Hong Cheng 5 shared papers
• Georg N\"uhrenberg 3 shared papers
• Harald Ruess 3 shared papers
• Hirotoshi Yasuoka 2 shared papers
• Farn Wang 1 shared papers
• Jung-Hsuan Wu 1 shared papers
• Stefan Stattelmann 1 shared papers
• Sven Schewe 1 shared papers