Compositional Synthesis of Safety Barrier Certificates for Infinite Networks.

Ali Aminzadeh Abolfazl Lavaei

Published in: ECC (2024)

Keyphrases

telecommunication networks
network structure
network design
real time
neural network
learning algorithm
complex systems
complex networks
network model
heterogeneous networks
network size
program synthesis