Categories
recording

Aligning Partially-Ordered Process-Execution Traces and Models Using Automated Planning