1 paper
Hugo Araujo, Hana Chockler, Mohammad Reza Mousavi +2
We present a formal theory for analysing causality in cyber-physical systems. To this end, we extend the theory of actual causality by Halpern and Pearl to cope with the continuous…