Efficient LTL Decentralized Monitoring Framework Using Formula Simplification Table

arXiv: Logic in Computer Science, Volume abs/1810.13129, 2018.

Cited by: 0|Bibtex|Views15
EI
Other Links: dblp.uni-trier.de|academic.microsoft.com|arxiv.org

Abstract:

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. A formula simplification table is a mathematical table that shows all possible simplifications of the formula under different truth assignments of its variabl...More

Code:

Data:

Your rating :
0

 

Tags
Comments