Two Solutions for Checking LTLf Properties in Event Logs.

Tedi Ibershimi, Diellsimeone Xhemalaj, Anti Alman, Ivan Donadello, Fabrizio Maria Maggi

Browse the full ICPM paper archive.