50 citations · 185 across the 23 of their papers we have counts for
1 paper · 1 filter
Robert Künnemann, Deepak Garg, Michael Backes
Causality has been the issue of philosophic debate since Hippocrates. It is used in formal verification and testing, e.g., to explain counterexamples or construct fault trees. Rece…