A Temporal Logic for Asynchronous Hyperproperties.

Jan Baumeister, Norine Coenen, Borzoo Bonakdarpour, Bernd Finkbeiner, Csar Snchez

Browse the full CAV paper archive.