Efficient Decentralized LTL Monitoring Framework Using Tableau Approach.

Omar I. Al-Bataineh

Published in: CoRR (2018)

Keyphrases

real time
lightweight
theoretical framework
multi agent
cooperative
cost effective
database
image sequences
probabilistic model
model checking
computationally expensive
conceptual framework