Efficient Decentralized LTL Monitoring Framework Using Tableau Technique
ACM Transactions on Embedded Computing Systems, pp. 1-21, 2019.
This paper presents a novel framework for decentralized monitoring of Linear Temporal Logic (LTL) formulas, under the situation where processes are synchronous and the formula is represented as a tableau. The tableau technique allows one to construct a semantic tree for the input LTL formula, which can be used to optimize the decentralize...More
Full Text (Upload PDF)
PPT (Upload PPT)