Title: Robust Process Mining with Guarantees