TY  - RPRT
TI  - From Checking to Inference: Actual Causality Computations as Optimization Problems
AU  - Amjad Ibrahim
AU  - Alexander Pretschner
PY  - 2020
DO  - 10.1007/978-3-030-59152-6_19
UR  - https://arxiv.org/abs/2006.03363
ID  - 2006.03363
ER  -