Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Bossche, Roxane van den"'
Autor:
Baier, Christel, Bossche, Roxane van den, Klüppelholz, Sascha, Lehmann, Johannes, Piribauer, Jakob
To improve reliability and the understanding of AI systems, there is increasing interest in the use of formal methods, e.g. model checking. Model checking tools produce a counterexample when a model does not satisfy a property. Understanding these co
Externí odkaz:
http://arxiv.org/abs/2402.01539
