Cumhur Erkan Tuncali, James Kapinski, Hisahiro Ito, Jyotirmoy V. Deshmukh. Reasoning about safety of learning-enabled components in autonomous cyber-physical systems. In Proceedings of the 55th Annual Design Automation Conference, DAC 2018, San Francisco, CA, USA, June 24-29, 2018. ACM, 2018. [doi]
@inproceedings{TuncaliKID18,
title = {Reasoning about safety of learning-enabled components in autonomous cyber-physical systems},
author = {Cumhur Erkan Tuncali and James Kapinski and Hisahiro Ito and Jyotirmoy V. Deshmukh},
year = {2018},
doi = {10.1145/3195970.3199852},
url = {http://doi.acm.org/10.1145/3195970.3199852},
researchr = {https://researchr.org/publication/TuncaliKID18},
cites = {0},
citedby = {0},
booktitle = {Proceedings of the 55th Annual Design Automation Conference, DAC 2018, San Francisco, CA, USA, June 24-29, 2018},
publisher = {ACM},
}