TY - RPRT TI - Supervisory Control under Partial Observation: Where Observation Consistency Becomes Decidable AU - Shaowen Miao AU - Jan Komenda AU - Tomáš Masopust AU - Yiding Ji PY - 2026 UR - https://arxiv.org/abs/2609.27899 ID - 2609.27899 ER -