Mixed Semantics Guided Layered Bounded Reachability Analysis of Compositional Linear Hybrid Automata - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Yuming Wu, Lei Bu, Jiawan Wang, Xinyue Ren, Wen Xiong, Xuandong Li. Mixed Semantics Guided Layered Bounded Reachability Analysis of Compositional Linear Hybrid Automata. In Bernd Finkbeiner, Thomas Wies, editors, Verification, Model Checking, and Abstract Interpretation - 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16-18, 2022, Proceedings. Volume 13182 of Lecture Notes in Computer Science, pages 473-495, Springer, 2022. [doi]

This author has not been identified. Look up 'Yuming Wu' in GoogleThis author has not been identified. Look up 'Lei Bu' in GoogleThis author has not been identified. Look up 'Jiawan Wang' in GoogleThis author has not been identified. Look up 'Xinyue Ren' in GoogleThis author has not been identified. Look up 'Wen Xiong' in GoogleThis author has not been identified. Look up 'Xuandong Li' in Google

runs on WebDSL