Edit Mechanism Synthesis for Opacity Enforcement Under Uncertain Observations | IEEE Journals & Magazine | IEEE Xplore