Search this site
Skip to main content
Skip to navigation
Chih-Hong Cheng 鄭志弘
Chih-Hong Cheng 鄭志弘
Teaching
Hildesheim_2023_WS_Intro_CPS
Hildesheim_2023_WS_NN_Safety
RV23
Publication
Neural Network Safety Book
Talks (with slides)
Tools
Demonstrators
Awards
Services
Misc
Research Links
Informal writings
EFSMT - A wrapper for solving exists-forall formulae
Chih-Hong Cheng 鄭志弘
Informal writings
Informal writings (in traditional Chinese only):
[20170821] AI, 成為非主流的一流
[20160714] 自動駕駛的安全性?
Google Sites
Report abuse
Google Sites
Report abuse