Sign in

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

Haiying SunJing LiuXiaohong ChenDehui 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