@misc{indiciaee98ecac5c29e, title = {Explainable Verification of Hierarchical Workflows Mined from Event Logs with Shapley Values}, author = {Radoslaw Klimek and Jakub Blazowski}, year = {2025}, url = {https://arxiv.org/abs/2512.09562}, note = {Source identifier: 2512.09562} }