Current-State opacity based on state outputs: definition and verification

Part of

Geospatial Vision-Language Models