no code implementations • 23 Apr 2020 • Hao Yan, Marco Grasso, Kamran Paynabar, Bianca Maria Colosimo
The use of video-imaging data for in-line process monitoring applications has become more and more popular in the industry.
no code implementations • 30 Apr 2014 • Giuseppe De Giacomo, Riccardo De Masellis, Marco Grasso, Fabrizio Maggi, Marco Montali
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).