Robust Process Mining with Guarantees · Study