Search Results for author:
Found 2 papers, 0 papers with code
Real-time Detection of Clustered Events in Video-imaging data with Applications to Additive Manufacturing
The use of video-imaging data for in-line process monitoring applications has become more and more popular in the industry.
LTLf and LDLf Monitoring: A Technical Report
LDLf is a powerful logic that captures all monadic second order logic on finite traces, which is obtained by combining regular expressions and LTLf, adopting the syntax of propositional dynamic logic (PDL).
Cannot find the paper you are looking for? You can
Submit a new open access paper.
