Sign in
Compositional and Abstraction-Based Approach for Synthesis of Edit Functions for Opacity Enforcement.
Sahar Mohajerani
Yiding Ji
Stéphane Lafortune
Published in:
IEEE Trans. Autom. Control. (2020)
Keyphrases
</>
high level
databases
neural network
machine learning
knowledge base
data abstraction