Verification and enforcement of strong infinite- and k-step opacity using state recognizers.

Ziyue Ma Xiang Yin Zhiwu Li

Published in: Autom. (2021)

Keyphrases

state space
data mining
post processing
learning algorithm
information systems
high level
medical images
model checking
face verification