7 citations · 7 across the 1 of their papers we have counts for
2 papers
cs.LO2018
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…
cs.LO2017★ 7 cited
A Parallel Linear Temporal Logic Tableau
John C. McCabe-Dansted, Mark Reynolds
For many applications, we are unable to take full advantage of the potential massive parallelisation offered by supercomputers or cloud computing because it is too hard to work out…