Verification of approximate infinite-step opacity using barrier certificates.

Shadi Tasdighi Kalat Siyuan Liu Majid Zamani

Published in: ECC (2022)

Keyphrases

database
real time
databases
knowledge base
data structure
post processing
preprocessing step
data sets
information retrieval
artificial intelligence
multiscale
access control
formal methods
multi step