Automatic abstraction for verification of cyber-physical systems.

Robert A. Thacker Kevin R. Jones Chris J. Myers Hao Zheng

Published in: ICCPS (2010)

Keyphrases

cyber physical systems
cyber physical
social networks
association rules
decision making
computer systems
unsupervised learning
network analysis