Sign in

Synthesizing Runtime Enforcer of Safety Properties Under Burst Error.

Meng WuHaibo ZengChao Wang
Published in: NFM (2016)
Keyphrases
  • error rate
  • error analysis
  • artificial neural networks
  • database
  • artificial intelligence
  • knowledge base
  • user interface
  • topological properties