62 citations · 104 across the 14 of their papers we have counts for
1 paper · 1 filter
Francesco Freni, Leonard Henckel, Sebastian Weichwald
We formalize verification in causal graphical models: deciding whether a given observational formula identifies a target interventional distribution. This opens a problem complemen…