Correction to “Current-State Opacity Formulations in Probabilistic Finite Automata” Jan 14 120-133 | Synapse