Login / Signup

On the Expressiveness and Monitoring of Metric Temporal Logic.

Hsi-Ming HoJoël OuaknineJames Worrell
Published in: Log. Methods Comput. Sci. (2019)
Keyphrases
  • metric temporal logic
  • monitoring system
  • real time
  • expressive power
  • early warning
  • multiscale
  • multiresolution
  • computational properties