Efficient LTL Decentralized Monitoring Framework Using Formula Simplification Table

Omar Al-Bataineh, David Rosenblum, Mark Reynolds

This paper presents a new technique for optimizing formal analysis of propositional logic formulas and Linear Temporal Logic (LTL) formulas, namely the formula simplification table…