A simple hierarchy for computing controlled invariant sets - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Tzanis Anevlavis, Paulo Tabuada. A simple hierarchy for computing controlled invariant sets. In Aaron Ames, Sanjit A. Seshia, Jyotirmoy Deshmukh, editors, HSCC '20: 23rd ACM International Conference on Hybrid Systems: Computation and Control, Sydney, New South Wales, Australia, April 21-24, 2020. ACM, 2020. [doi]

This author has not been identified. Look up 'Tzanis Anevlavis' in GoogleThis author has not been identified. Look up 'Paulo Tabuada' in Google

runs on WebDSL