Login / Signup
On the Expressiveness and Monitoring of Metric Temporal Logic.
Hsi-Ming Ho
Joël Ouaknine
James Worrell
Published in:
CoRR (2018)
Keyphrases
</>
metric temporal logic
monitoring system
real time
three dimensional
early warning
neural network
data mining
information systems
web services
wide range
expert systems
expressive power