4 citations · 6 across the 5 of their papers we have counts for
4 papers · 1 filter
From Checking to Inference: Actual Causality Computations as Optimization Problems
Amjad Ibrahim, Alexander Pretschner
Actual causality is increasingly well understood. Recent formal approaches, proposed by Halpern and Pearl, have made this concept mature enough to be amenable to automated reasonin…
Extending Causal Models from Machines into Humans
Severin Kacianka, Amjad Ibrahim, Alexander Pretschner +2
Causal Models are increasingly suggested as a means to reason about the behavior of cyber-physical systems in socio-technical contexts. They allow us to analyze courses of events a…
Efficiently Checking Actual Causality with SAT Solving
Amjad Ibrahim, Simon Rehwald, Alexander Pretschner
Recent formal approaches towards causality have made the concept ready for incorporation into the technical world. However, causality reasoning is computationally hard; and no gene…
ACCBench: A Framework for Comparing Causality Algorithms
Simon Rehwald, Amjad Ibrahim, Kristian Beckers +1
Modern socio-technical systems are increasingly complex. A fundamental problem is that the borders of such systems are often not well-defined a-priori, which among other problems c…