Verification of Approximate Opacity via Barrier Certificates.

Siyuan Liu Majid Zamani

Published in: ACC (2021)

Keyphrases

access control
data sets
neural network
false acceptance
database
functional verification
concurrent systems
verification method
public key
exact solution
model checking
expert systems
image segmentation
case study
machine learning
real world
databases