TY - RPRT TI - Generalized Current-State Opacity With Dynamically Changing Secrets AU - Dan You AU - Shouguang Wang AU - Carla Seatzu PY - 2021 UR - https://arxiv.org/abs/2103.00234 ID - 2103.00234 ER -