This paper presents a novel approach for Next-BestView (NBV) planning for Urban RF Geolocation, conditionedby Open-Source Intelligence (OSINT). The system combinesinformation-theoretic NBV planning with formal verificationthrough TLA+ specifications to ensure safety invariants.