4 citations · 8 across the 7 of their papers we have counts for
Showing 2018Show all
3 papers · 1 filter
cs.LO2018★ 1 cited
Revisiting Timed Logics with Automata Modalities
Hsi-Ming Ho
It is well known that (timed) -regular properties such as `p holds at every even position' and `p occurs at least three times within the next 10 time units' cannot be expressed…
cs.LO2018
On Verifying Timed Hyperproperties
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…
cs.LO2018★ 4 cited
On the Expressiveness and Monitoring of Metric Temporal Logic
Hsi-Ming Ho, Joël Ouaknine, James Worrell
It is known that Metric Temporal Logic (MTL) is strictly less expressive than the Monadic First-Order Logic of Order and Metric (FO[<, +1]) when interpreted over timed words; this…