Stuhlsatzenhaus 5 66123 Saarbrücken (Germany)
Synthesizing Reactive Systems from Hyperproperties
CAV Computer Aided Verification