Monitoring Metric First-Order Temporal Properties.

David A. Basin Felix Klaedtke Samuel Müller Eugen Zalinescu

Published in: J. ACM (2015)

Keyphrases

temporal properties
model checking
formal methods
possibility theory
higher order
monitoring system
real time
first order logic
temporal logic
metric space
bayesian networks
cooperative
artificial neural networks
artificial intelligence
knowledge based systems