Reachability Analysis for AWS-Based Networks.

John Backes Sam Bayless Byron Cook Catherine Dodge Andrew Gacek Alan J. Hu Temesghen Kahsai Bill Kocik Evgenii Kotelnikov Jure Kukovec Sean McLaughlin Jason Reed Neha Rungta John Sizemore Mark A. Stalzer Preethi Srinivasan Pavle Subotic Carsten Varming Blake Whaley

Published in: CAV (2) (2019)

Keyphrases

reachability analysis
model checking
markov decision processes
incremental algorithms
timed automata
real time
neural network
data mining
relational databases
computer networks
community structure
social networks
video sequences
natural language
state space
complex networks