From Checking to Inference: Actual Causality Computations as Optimization Problems.

Amjad Ibrahim, Alexander Pretschner

Browse the full ATVA paper archive.