[Night 6] Anti-alignments in Conformance Checking

The speaker presents anti-alignments as a tool for conformance checking. The idea of anti-alignment is to search, for a model N and a log L, what are the runs of N which differ as much as possible from all the runs in L. Among other uses, anti-alignments serve as witnesses for imprecisions of the model, therefore, they are used to measure precision. We give several algorithms to compute and approximate anti-alignments.

Speaker: Thomas Chatain, assistant professor, École Normale Supérieure Paris-Saclay.

March 17, 2021

Wednesday Nights of Petri Nets and their Extensions: https://pais.hse.ru/en/seminar-pne
Faculty of Computer Science: https://cs.hse.ru/en/
Facebook: https://www.facebook.com/hsefcs
Twitter: https://twitter.com/CS_HSE

Видео [Night 6] Anti-alignments in Conformance Checking канала ФКН ВШЭ