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

Part of

GeoAI-VLM: Geospatial Vision-Language Model Analysis