Controller Synthesis Made Real: Reach-Avoid Specifications and Linear Dynamics - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Chuchu Fan, Umang Mathur, Sayan Mitra, Mahesh Viswanathan 0001. Controller Synthesis Made Real: Reach-Avoid Specifications and Linear Dynamics. In Hana Chockler, Georg Weissenbacher, editors, Computer Aided Verification - 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I. Volume 10981 of Lecture Notes in Computer Science, pages 347-366, Springer, 2018. [doi]

This author has not been identified. Look up 'Chuchu Fan' in GoogleThis author has not been identified. Look up 'Umang Mathur' in GoogleThis author has not been identified. Look up 'Sayan Mitra' in GoogleThis author has not been identified. Look up 'Mahesh Viswanathan 0001' in Google

runs on WebDSL