1 paper
Bernd Finkbeiner, Christopher Hahn, Philip Lukert +2
We study the reactive synthesis problem for hyperproperties given as formulas of the temporal logic HyperLTL. Hyperproperties generalize trace properties, i.e., sets of traces, to…