English

Technical Report with Proofs for A Full Picture in Conformance Checking: Efficiently Summarizing All Optimal Alignments

Information Theory 2025-06-13 v1 Machine Learning math.IT

Abstract

This technical report provides proofs for the claims in the paper "A Full Picture in Conformance Checking: Efficiently Summarizing All Optimal Alignments".

Cite

@article{arxiv.2506.10345,
  title  = {Technical Report with Proofs for A Full Picture in Conformance Checking: Efficiently Summarizing All Optimal Alignments},
  author = {Philipp Bär and Moe T. Wynn and Sander J. J. Leemans},
  journal= {arXiv preprint arXiv:2506.10345},
  year   = {2025}
}
R2 v1 2026-07-01T03:12:31.561Z