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]
@inproceedings{MengQWF22,
title = {Case Studies for Computing Density of Reachable States for Safe Autonomous Motion Planning},
author = {Yue Meng and Zeng Qiu and Md Tawhid Bin Waez and Chuchu Fan},
year = {2022},
doi = {10.1007/978-3-031-06773-0_13},
url = {https://doi.org/10.1007/978-3-031-06773-0_13},
researchr = {https://researchr.org/publication/MengQWF22},
cites = {0},
citedby = {0},
pages = {251-271},
booktitle = {NASA Formal Methods - 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24-27, 2022, Proceedings},
editor = {Jyotirmoy V. Deshmukh and Klaus Havelund and Ivan Perez 0001},
volume = {13260},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-031-06773-0},
}