www.prismmodelchecker.org
[WYSX21] Xi Wang, Chengtian Ou Yang, Xiangling Shao and Hui Xu. A method for UAV monitoring road conditions in dangerous environment. Journal of Physics: Conference Series (CISSE'20). 2021. [Performs navigation planning for unmanned aerial vehicles (UAVs) using PRISM.]
Links: [Google] [Google Scholar]

Publications