A Novel Decentralized LTL Monitoring Framework Using Formula Progression Table.

Omar I. Al-Bataineh David S. Rosenblum Mark Reynolds

Published in: SPIN (2019)

Keyphrases

main contribution
monitoring system
learning algorithm
case study
database
real time
databases
neural network
database systems
multi agent
digital libraries
probabilistic model
cloud computing
theoretical framework
linear temporal logic