Sign in

Verification and synthesis of embedded insertion functions for opacity enforcement.

Christoforos KeroglouStéphane Lafortune
Published in: CDC (2017)
Keyphrases
  • model checking
  • program synthesis
  • real time
  • data sets
  • decision trees
  • embedded systems
  • formal verification
  • databases
  • information retrieval
  • search engine
  • moving objects
  • basis functions