Efficient Decentralized LTL Monitoring Framework Using Tableau Technique

ACM Transactions on Embedded Computing Systems, pp. 1-21, 2019.

Cited by: 1|Bibtex|Views16|DOI:https://doi.org/10.1145/3358219
EI
Other Links: academic.microsoft.com|dblp.uni-trier.de|dl.acm.org|arxiv.org

Abstract:

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

Code:

Data:

Your rating :
0

 

Tags
Comments