Login / Signup

On the Analysis of Numerical Data Time Series in Temporal Logic.

François FagesAurélien Rizk
Published in: CMSB (2007)
Keyphrases
  • temporal logic
  • numerical data
  • model checking
  • real world
  • machine learning
  • categorical data
  • linear temporal logic