PRREACH: Probabilistic Risk Assessment Using Reachability for UAV Control. - Nicole Fronda; Hariharan Narayanan; Sadia Afrin Ananna; Steven P. Weber; Houssam Abbas (CoRR, 2025)