On Verifying Timed Hyperproperties.

Hsi-Ming Ho, Ruoyu Zhou, Timothy M. Jones

Browse the full TIME paper archive.