16 citations · 16 across the 1 of their papers we have counts for
1 paper · 1 filter
Hsi-Ming Ho, Ruoyu Zhou, Timothy M. Jones
We study the satisfiability and model-checking problems for timed hyperproperties specified with HyperMTL, a timed extension of HyperLTL. Depending on whether interleaving of event…