Chiao Hsieh, Yangge Li, Dawei Sun, Keyur Joshi, Sasa Misailovic, Sayan Mitra. Verifying Controllers With Vision-Based Perception Using Safe Approximate Abstractions. IEEE Trans. on CAD of Integrated Circuits and Systems, 41(11):4205-4216, 2022. [doi]
No references recorded for this publication.
No citations of this publication recorded.