5 citations · 19 across the 16 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.AI2017★ 5 cited
Sufficient and necessary causation are dual
Robert Künnemann
Causation has been the issue of philosophic debate since Hippocrates. Recent work defines actual causation in terms of Pearl/Halpern's causality framework, formalizing necessary ca…
cs.CR2017★ 1 cited
Towards Automated Network Mitigation Analysis (extended)
Patrick Speicher, Marcel Steinmetz, Jörg Hoffmann +2
Penetration testing is a well-established practical concept for the identification of potentially exploitable security weaknesses and an important component of a security audit. Pr…