| Title | From Checking to Inference: Actual Causality Computations as Optimization Problems |
| Publication Type | Conference Paper |
| Year of Publication | 2020 |
| Authors | Amjad Ibrahim, Alexander Pretschner |
| Secondary Authors | Dang Van Hung, Oleg Sokolsky |
| Conference Name | Automated Technology for Verification and Analysis - 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings |
| Date Published | 10/2021 |
| Publisher | Springer |
| Conference Location | Cham |
| Keywords | causal models, PIRE, Societal Design |
| URL | https://doi.org/10.1007/978-3-030-59152-6\_19 |
| DOI | 10.1007/978-3-030-59152-6\_19 |
| Citation Key | DBLP:conf/atva/IbrahimP20 |
From Checking to Inference: Actual Causality Computations as Optimization Problems