Metric Temporal Logic with Durations.

Yassine Lakhnech Jozef Hooman

Published in: Theor. Comput. Sci. (1995)

Keyphrases

metric temporal logic
expert systems
probabilistic model
neural network
data mining
machine learning
data analysis
prior knowledge
control system
high speed
wireless networks