This paper presents a novel approach for Next-BestView (NBV) planning for Urban RF Geolocation, conditioned
by Open-Source Intelligence (OSINT). The system combines
information-theoretic NBV planning with formal verification
through TLA+ specifications to ensure safety invariants.