Safe Over- and Under-Approximation of Reachable Sets for Autonomous Dynamical Systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Meilun Li, Peter Nazier Mosaad, Martin Fränzle, Zhikun She, Bai Xue 0001. Safe Over- and Under-Approximation of Reachable Sets for Autonomous Dynamical Systems. In David N. Jansen, Pavithra Prabhakar, editors, Formal Modeling and Analysis of Timed Systems - 16th International Conference, FORMATS 2018, Beijing, China, September 4-6, 2018, Proceedings. Volume 11022 of Lecture Notes in Computer Science, pages 252-270, Springer, 2018. [doi]

This author has not been identified. Look up 'Meilun Li' in GoogleThis author has not been identified. Look up 'Peter Nazier Mosaad' in GoogleThis author has not been identified. Look up 'Martin Fränzle' in GoogleThis author has not been identified. Look up 'Zhikun She' in GoogleThis author has not been identified. Look up 'Bai Xue 0001' in Google

runs on WebDSL