11 citations · 17 across the 7 of their papers we have counts for
3 papers · 1 filter
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…
Taxonomy-as-a-Service: How To Structure Your Related Work
Mohsen Ahmadvand, Amjad Ibrahim, Felix Huber
Structuring related work is a daunting task encompassing literature review, classification, comparison (primarily in the form of concepts), and gap analysis. Building taxonomies is…
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…