Backward Responsibility in Transition Systems Using General Power Indices

Christel Baier, Roxane van den Bossche, Sascha Klüppelholz +2

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 counterex…