Verifying Opacity of a Modified PSTM.

Yucheng Fang Huibiao Zhu Jiaqi Yin

Published in: TASE (2019)

Keyphrases

model checking
real time
data sets
decision making
expert systems
machine learning
feature selection
case study
feature extraction
natural language
viewpoint
foreground and background