Verification of Current State Opacity using Switching Output Automata.

Tianyu Liu Carla Seatzu Alessandro Giua

Published in: CoDIT (2023)

Keyphrases

cellular automata
data sets
databases
neural network
data mining
case study
state space
artificial intelligence
information systems
state transition
face verification