TY  - RPRT
TI  - Counterfactual Causality for Reachability and Safety based on Distance Functions
AU  - Julie Parreaux
AU  - Jakob Piribauer
AU  - Christel Baier
PY  - 2023
DO  - 10.4204/eptcs.390.9
UR  - https://arxiv.org/abs/2310.01001
ID  - 2310.01001
ER  -