Case Studies for Computing Density of Reachable States for Safe Autonomous Motion Planning - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Yue Meng, Zeng Qiu, Md Tawhid Bin Waez, Chuchu Fan. Case Studies for Computing Density of Reachable States for Safe Autonomous Motion Planning. In Jyotirmoy V. Deshmukh, Klaus Havelund, Ivan Perez 0001, editors, NASA Formal Methods - 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24-27, 2022, Proceedings. Volume 13260 of Lecture Notes in Computer Science, pages 251-271, Springer, 2022. [doi]

This author has not been identified. Look up 'Yue Meng' in GoogleThis author has not been identified. Look up 'Zeng Qiu' in GoogleThis author has not been identified. Look up 'Md Tawhid Bin Waez' in GoogleThis author has not been identified. Look up 'Chuchu Fan' in Google

runs on WebDSL