A Data-Driven Approach to Approximate Opacity Verification.

Vishnu Murali Shadi Tasdighi Kalat Majid Zamani

Published in: CDC (2023)

Keyphrases

data driven
model checking
neural network
website
search algorithm
real time
information retrieval
database systems
expert systems
piecewise linear
face verification
test generation
person identification
asynchronous circuits
verification method
exact computation