Reasoning about safety of learning-enabled components in autonomous cyber-physical systems

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]

Authors

Cumhur Erkan Tuncali

This author has not been identified. Look up 'Cumhur Erkan Tuncali' in Google

James Kapinski

This author has not been identified. Look up 'James Kapinski' in Google

Hisahiro Ito

This author has not been identified. Look up 'Hisahiro Ito' in Google

Jyotirmoy V. Deshmukh

This author has not been identified. Look up 'Jyotirmoy V. Deshmukh' in Google