Runtime Monitoring of Metric First-order Temporal Properties.

David A. Basin Felix Klaedtke Samuel Müller Birgit Pfitzmann

Published in: FSTTCS (2008)

Keyphrases

temporal properties
model checking
possibility theory
monitoring system
first order logic
higher order
formal methods
real time
formal specification
knowledge discovery
temporal logic
neural network
artificial intelligence
data analysis
random variables
incomplete information