Login / Signup

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

Sahar MohajeraniYiding JiStéphane Lafortune
Published in: CDC (2018)
Keyphrases
  • case study
  • high level
  • databases
  • machine learning
  • computer vision
  • trade off