13 citations · 22 across the 16 of their papers we have counts for
1 paper · 1 filter
Raven Beutner, Bernd Finkbeiner, Hadar Frenkel +1
We introduce Hyper2LTL, a temporal logic for the specification of hyperproperties that allows for second-order quantification over sets of traces. Unlike first-order temporal lo…