Synthesizing Runtime Enforcer of Safety Properties Under Burst Error.

Meng Wu Haibo Zeng Chao Wang

Published in: NFM (2016)

Keyphrases

error rate
error analysis
artificial neural networks
database
artificial intelligence
knowledge base
user interface
topological properties