Efficient LTL Decentralized Monitoring Framework Using Formula Simplification Table.

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

Published in: CoRR (2018)

Keyphrases

main contribution
theoretical framework
real time
database
data sets
cooperative
decision support
lightweight
databases
wireless sensor networks
probabilistic model
distributed systems
logic programs
computationally expensive