Chih-Hong Cheng
6
Abonné
Personal Information
Entreprise/Lieu de travail
Munich Area, Germany Germany
Profession
Principal Scientist @ fortiss
Secteur d’activité
Education
Site Web
http://www.chihhongcheng.info
Mots-clés
verification
safety
neural network
testing
robustness
machine learning
gsn
metrics
sotif
synthesis
certification
formal methods
Tout plus
- Présentations
- Documents
- Infographies