Predictive Importance Sampling Based Coverage Verification for Multi-UAV Trajectory Planning. - Snehashish Ghosh; Sasthi C. Ghosh 001 (CoRR, 2026)