Monitoring Dense-Time, Continuous-Semantics, Metric Temporal Logic.

Kevin Baldor Jianwei Niu

Published in: RV (2012)

Keyphrases

metric temporal logic
continuous monitoring
monitoring system
formal semantics
real time
semantic information
logic programming
genetic algorithm
continuous domains
sensor data streams
information systems
decision support
default reasoning
speech acts
optical flow fields