Hsi-Ming Ho
From MaRDI portal
Person:821557
Available identifiers
zbMath Open ho.hsi-mingMaRDI QIDQ821557
List of research outcomes
| This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon! |
| Publication | Date of Publication | Type |
|---|---|---|
| On verifying timed hyperproperties | 2023-02-03 | Paper |
| Timed-automata-based verification of MITL over signals | 2023-02-03 | Paper |
| \textsc{MightyL}: a compositional translation from MITL to timed automata | 2022-07-01 | Paper |
| Timed hyperproperties | 2021-09-21 | Paper |
| Revisiting timed logics with automata modalities | 2019-10-22 | Paper |
| Cyclic-routing of unmanned aerial vehicles | 2019-06-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5376664 | 2019-05-17 | Paper |
| Real-time synthesis is hard! | 2018-02-16 | Paper |
| On the expressiveness of metric temporal logic over bounded timed words | 2015-10-28 | Paper |
| The cyclic-routing UAV problem is PSPACE-complete | 2015-10-01 | Paper |
Research outcomes over time
This page was built for person: Hsi-Ming Ho