Abstraction-Based Verification of Approximate Preopacity for Control Systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Junyao Hou, Siyuan Liu, Xiang Yin 0003, Majid Zamani 0001. Abstraction-Based Verification of Approximate Preopacity for Control Systems. IEEE Control Systems Letters, 7:1087-1092, 2023. [doi]

This author has not been identified. Look up 'Junyao Hou' in GoogleThis author has not been identified. Look up 'Siyuan Liu' in GoogleThis author has not been identified. Look up 'Xiang Yin 0003' in GoogleThis author has not been identified. Look up 'Majid Zamani 0001' in Google

runs on WebDSL