Verification of Approximate Opacity via Barrier Certificates.

Siyuan Liu Majid Zamani

Published in: CoRR (2021)

Keyphrases

model checking
neural network
formal analysis
real time
artificial intelligence
knowledge base
web services
decision trees
search algorithm
digital images
access control
temporal logic
formal methods
formal verification
verification method