Leonard Henckel

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 complementary to identification, asking not whether any identifying formula exists, but whether the given for…Read more