From Checking to Inference: Actual Causality Computations as Optimization Problems
| Title | From Checking to Inference: Actual Causality Computations as Optimization Problems |
| Publication Type | Conference Paper |
| Year of Publication | 2020 |
| Authors | Amjad Ibrahim, Alexander Pretschner |
| Conference Name | 18ᵗʰ International Symposium on Automated Technology for Verification and Analysis |
| Conference Location | Hanoi, Vietnam |
| Citation Key | node-71123 |