Search Results for author:
Found 2 papers, 0 papers with code
Survey and cross-benchmark comparison of remaining time prediction methods in business process monitoring
Predictive business process monitoring methods exploit historical process execution logs to generate predictions about running instances (called cases) of a business process, such as the prediction of the outcome, next activity or remaining cycle time of a given process case.
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.
