Verifying Controllers With Vision-Based Perception Using Safe Approximate Abstractions - researchr publication bibliographies

researchr

You are not signed in
Sign in
Sign up

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]

runs on WebDSL