Efficient Decentralized LTL Monitoring Framework Using Tableau Technique

Omar Al-Bataineh, David Rosenblum

This paper presents a novel framework for decentralized monitoring of Linear Temporal Logic (LTL), under the situation where processes are synchronous, uniform (i.e. all processes…