Personal Information
Organization / Workplace
Munich Area, Germany Germany
Occupation
Principal Scientist @ fortiss
Industry
Education
Website
http://www.chihhongcheng.info
Tags
verification
safety
neural network
testing
robustness
machine learning
gsn
metrics
sotif
synthesis
certification
formal methods
See more
- Presentations
- Documents
- Infographics