no code implementations • 28 Nov 2019 • Thomas Chatain, Mathilde Boltenhagen, Josep Carmona
One important metric in conformance checking is to asses the precision of the model with respect to the observed executions, i. e., characterize the ability of the model to produce behavior unrelated to the one observed.
2 code implementations • 30 Aug 2018 • Thomas Chatain, Stefan Haar, Loïc Paulevé
In brief, the most permissive semantics of BNs enables a correct abstract reasoning on dynamics of BNs, with a greater tractability than previously introduced update modes.
Formal Languages and Automata Theory Logic in Computer Science Quantitative Methods