Verifying formulas for interventional distributions

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…