Katra: Realtime Verification for Multilayer Networks.
Ryan BeckettAarti GuptaPublished in: NSDI (2022)
Keyphrases
- real time
- model checking
- social networks
- database
- network structure
- neural network
- heterogeneous networks
- learning algorithm
- artificial intelligence
- computer vision
- distributed systems
- complex systems
- computer networks
- network model
- network design
- network resources
- sensor fusion
- verification method
- false acceptance rate