Formally specified monitoring of temporal properties.

Moonjoo Kim Mahesh Viswanathan Hanêne Ben-Abdallah Sampath Kannan Insup Lee Oleg Sokolsky

Published in: ECRTS (1999)

Keyphrases

temporal properties
model checking
possibility theory
monitoring system
formal methods
real time
neural network
decision trees
cooperative
computational intelligence
knowledge acquisition
theoretical framework