conftrace_

counterexample analysis

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

power index (1) responsibility attribution (1) transition system (1) shapley value (1) model checking (1) formal methods (1) game theory (1) adversarial learning (1)

Papers

Backward Responsibility in Transition Systems Using General Power Indices AAAI 2024