Accountability is a widely studied but amorphous concept, used to mean different things
across different disciplines and domains of application. Here, we survey work on …

Causality has been the issue of philosophic debate since Hippocrates. It is used in formal
verification and testing, eg, to explain counterexamples or construct fault trees. Recent work …