formal verification

Stochastic Reachability-Based GPS Spoofing Detection with Chimera Signal Enhancement
Tara Mina, Ashwin Kanhere, Shreyas Kousik, and Grace Gao
- NAVIGATION: Journal of the Institute of Navigation December 2023, 70 (4)navi.616;
- DOI: https://doi.org/10.33012/navi.616