[IEEE 2018 55th ACM/ESDA/IEEE Design Automation Conference (DAC) - San Francisco, CA, USA (2018.6.24-2018.6.28)] 2018 55th ACM/ESDA/IEEE Design Automation Conference (DAC) - INVITED: Reasoning about Safety of Learning-Enabled Components in Autonomous Cyber-physical Systems
Tuncali, Cumhur Erkan, Ito, Hisahiro, Kapinski, James, Deshmukh, Jyotirmoy V.Year:
2018
Language:
english
DOI:
10.1109/DAC.2018.8465843
File:
PDF, 1.67 MB
english, 2018