1 citations · 2 across the 2 of their papers we have counts for
3 papers
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.LO2016★ 1 cited
Real-Time Synthesis is Hard!
Thomas Brihaye, Morgane Estiévenart, Gilles Geeraerts +3
We study the reactive synthesis problem (RS) for specifications given in Metric Interval Temporal Logic (MITL). RS is known to be undecidable in a very general setting, but on infi…