Reformulates conformance checking as a totally unimodular LP that complements A* by speeding up long deviating traces and yields 38.6% average runtime savings when the two are combined via simple selection rules on over 2.1 million instances.
Aligning observed and modeled behavior
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
verdicts
UNVERDICTED 2representative citing papers
Extends eST-Miner with place selection for guaranteed minimal fitness and a refined place fitness metric for infrequent behavior in process discovery from event logs.
citing papers explorer
-
Developing a Totally Unimodular Linear Program for Optimal Conformance Checking: When and Why It Complements A*
Reformulates conformance checking as a totally unimodular LP that complements A* by speeding up long deviating traces and yields 38.6% average runtime savings when the two are combined via simple selection rules on over 2.1 million instances.