38 citations · 60 across the 13 of their papers we have counts for
1 paper · 1 filter
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…