Efficient Synthesis of Edit Functions for Opacity Enforcement Using Bisimulation-Based Abstractions.

Sahar Mohajerani Yiding Ji Stéphane Lafortune Efficient Synthesis of Edit Functions for Opacity Enforcement Using Bisimulation-Based Abstractions. 4849-4854 2018 CDC https://doi.org/10.1109/CDC.2018.8619045 conf/cdc/2018 db/conf/cdc/cdc2018.html#MohajeraniJL18