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 1515.68173 | 2023-02-03 | Paper |
| \textsc{MightyL}: a compositional translation from MITL to timed automata | 2022-07-01 | Paper |
| Timed hyperproperties Information and Computation | 2021-09-21 | Paper |
| Revisiting timed logics with automata modalities Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control | 2019-10-22 | Paper |
| Revisiting timed logics with automata modalities Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control | 2019-10-22 | Paper |
| Cyclic-routing of unmanned aerial vehicles Journal of Computer and System Sciences | 2019-06-25 | Paper |
| scientific article; zbMATH DE number 7056237 (Why is no real title available?) (available as arXiv preprint) | 2019-05-17 | Paper |
| Real-time synthesis is hard! Lecture Notes in Computer Science | 2018-02-16 | Paper |
| On the expressiveness of metric temporal logic over bounded timed words Lecture Notes in Computer Science | 2015-10-28 | Paper |
| The cyclic-routing UAV problem is PSPACE-complete Lecture Notes in Computer Science | 2015-10-01 | Paper |
| The cyclic-routing UAV problem is PSPACE-complete Lecture Notes in Computer Science | 2015-10-01 | Paper |
Research outcomes over time
This page was built for person: Hsi-Ming Ho
