research
∙
10/01/2019
Compositional and Abstraction-Based Approach for Synthesis of Edit Functions for Opacity Enforcement
This paper develops a novel compositional and abstraction-based approach...
research
∙
04/12/2019