C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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