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

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]

This author has not been identified. Look up 'Chiao Hsieh' in GoogleThis author has not been identified. Look up 'Yangge Li' in GoogleThis author has not been identified. Look up 'Dawei Sun' in GoogleThis author has not been identified. Look up 'Keyur Joshi' in GoogleThis author has not been identified. Look up 'Sasa Misailovic' in GoogleThis author has not been identified. Look up 'Sayan Mitra' in Google

runs on WebDSL