# INVITED: Reasoning about Safety of Learning-Enabled Components in Autonomous Cyber-physical Systems

> Research article (2018 55th ACM/ESDA/IEEE Design Automation Conference (DAC), 2018) · cited 15× · AI/ML

**Wikidata**: [openalex:W4238644249](https://www.wikidata.org/wiki/openalex:W4238644249)  
**Source**: https://4ort.xyz/entity/invited-reasoning-about-safety-of-learning-enabled-components-in-autonomous-cyber-physical-systems