38 citations · 53 across the 11 of their papers we have counts for
1 paper · 2 filters
Bernd Finkbeiner, Christopher Hahn
Hyperproperties, like observational determinism or symmetry, cannot be expressed as properties of individual computation traces, because they describe a relation between multiple c…