Conformance Checking with Uncertainty via SMT (Extended Version)

Paolo Felli, Alessandro Gianola, Marco Montali +2

Logs of real-life processes often feature uncertainty pertaining the recorded timestamps, data values, and/or events. We consider the problem of checking conformance of uncertain l…