Author

Hsi-Ming Ho

h-index 7 View on Semantic Scholar

We have 2 of 24 papers

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Preprint Sep 2026

MightyPPL : Towards model checking MTL

An upgraded version of MIghtyPPL is introduced that enables for the first time, the model checking of Metric Temporal Logic properties of the form (whenever an event p occurs, it is eventually followed by some event q after exactly some k time units) in addition to Pnueli and Past modalities.

Hsi-Ming Ho, S. Krishna, Khushraj Madnani et al. · 0 citations

#artificial intelligence Preprint Sep 2026

On Synthesis of Metric Interval Temporal Logics

This paper presents the first framework to tackle precise timed passive learning for an expressive timed logic, Metric Interval Temporal Logic (MITL) without relying on predefined templates or restricted logic fragments.

Hsi-Ming Ho, S. Krishna, Khushraj Madnani · 0 citations