1 citations · 3 across the 4 of their papers we have counts for
4 papers · 1 filter
When Do You Start Counting? Revisiting Counting and Pnueli Modalities in Timed Logics
Hsi-Ming Ho, Khushraj Madnani
Pnueli first noticed that certain simple 'counting' properties appear to be inexpressible in popular timed temporal logics such as Metric Interval Temporal Logic (MITL). This inter…
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…
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…
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…