Verification of Approximate Opacity via Barrier Certificates.

Siyuan Liu Majid Zamani

Published in: IEEE Control. Syst. Lett. (2021)

Keyphrases

model checking
access control
similarity measure
website
data sets
machine learning
artificial intelligence
case study
video sequences
public key
formal verification
asynchronous circuits