Specifying Cyber Physical System Safety Properties with Metric Temporal Spatial Logic.

Haiying Sun Jing Liu Xiaohong Chen Dehui Du

Published in: APSEC (2015)

Keyphrases

spatio temporal
spatial and temporal
temporal information
spatial information
cyber physical systems
unsupervised learning
real time
data mining
computational intelligence
low cost