On Verifying Timed Hyperproperties

Hsi-Ming Ho, Ruoyu Zhou, Timothy M. Jones 0001. On Verifying Timed Hyperproperties. In Johann Gamper, Sophie Pinchinat, Guido Sciavicco, editors, 26th International Symposium on Temporal Representation and Reasoning, TIME 2019, October 16-19, 2019, Málaga, Spain. Volume 147 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019. [doi]

Abstract

Abstract is missing.