[ACM Press the 55th Annual Design Automation Conference - San Francisco, California (2018.06.24-2018.06.29)] Proceedings of the 55th Annual Design Automation Conference on - DAC '18 - Reasoning about safety of learning-enabled components in autonomous cyber-physical systems
Tuncali, Cumhur Erkan, Kapinski, James, Ito, Hisahiro, Deshmukh, Jyotirmoy V.Year:
2018
Language:
english
DOI:
10.1145/3195970.3199852
File:
PDF, 830 KB
english, 2018