HyperLDLf: a Logic for Checking Properties of Finite Traces Process Logs.

Giuseppe De Giacomo, Paolo Felli, Marco Montali, Giuseppe Perelli

Browse the full IJCAI paper archive.