Verification of probabilistic bounded $δ$-reachability for cyber-physical systems.

Fedor Shmarov Paolo Zuliani

Published in: CoRR (2014)

Keyphrases

cyber physical systems
cyber physical
bayesian networks
physical world
cyber security
real time
data mining
information systems
sensor networks