Active Requirement Mining of Bounded-Time Temporal Properties of Cyber-Physical Systems.

Gang Chen Zachary Sabato Zhaodan Kong

Published in: CoRR (2016)

Keyphrases

temporal properties
cyber physical systems
model checking
cyber physical
possibility theory
physical world
cyber security
data mining
social networks
formal methods
data mining methods
machine learning
artificial intelligence
information systems
multi agent systems
fuzzy sets