Reachability Analysis of a Switched Buffer Network.

Goran Frehse Oded Maler

Published in: HSCC (2007)

Keyphrases

reachability analysis
switched networks
model checking
real time
neural network
peer to peer
markov decision processes
computer networks
communication networks
data mining
machine learning
knowledge base
objective function
optimal solution
wireless sensor networks