21 citations · 24 across the 2 of their papers we have counts for
2 papers
cs.AI2003★ 21 cited
Responsibility and blame: a structural-model approach
Hana Chockler, Joseph Y. Halpern
Causality is typically treated an all-or-nothing concept; either A is a cause of B or it is not. We extend the definition of causality introduced by Halpern and Pearl [2001] to tak…
cs.LO2003★ 3 cited
What Causes a System to Satisfy a Specification?
Hana Chockler, Joseph Y. Halpern, Orna Kupferman
Even when a system is proven to be correct with respect to a specification, there is still a question of how complete the specification is, and whether it really covers all the beh…