Data-Driven Safety Verification of Discrete-Time Networks: A Compositional Approach.

Navid Noroozi Ali Salamati Majid Zamani

Published in: IEEE Control. Syst. Lett. (2022)

Keyphrases

data driven
markov chain
social networks
network structure
model checking
complex networks
real time
heterogeneous networks
network design
computer networks
end to end
network analysis
network model
finite state
data sets
face verification
database
network size
network parameters
safety analysis