University of California at Berkeley

Design and Verification of Cyber-Physical Systems with Machine Leaning Components

Tommaso Dreossi, Shromona Ghosh

更多

Daniel J. Fremont,Edward Kim, Hadi Ravanbakhsh,

Marcell Vazquez-Chanlatte, and Sanjit A. Seshia

iCyPhy Mini Workshop, Berkeley, Feb. 14, 2019

UC Berkeley

iCyPhy Mini Workshop, Feb. 14, 2019

收起