Hsi-Ming Ho

Hsi-Ming Ho

Doctoral Student

Student, St Anne's College

Themes:

• Automated Verification

See Also:

• curriculum vitae

Selected Publications

View AllManage publications

• The UAV Problem is PSPACE−Complete

  Hsi−Ming Ho and Joël Ouaknine

  2014.

  Submitted.

  Details about The UAV Problem is PSPACE−Complete | BibTeX data for The UAV Problem is PSPACE−Complete | Download (pdf) of The UAV Problem is PSPACE−Complete

• Online Monitoring of Metric Temporal Logic

  Hsi−Ming Ho‚ Joël Ouaknine and James Worrell

  2014.

  To appear in RV 2014.

  Details about Online Monitoring of Metric Temporal Logic | BibTeX data for Online Monitoring of Metric Temporal Logic | Download (pdf) of Online Monitoring of Metric Temporal Logic

• On the Expressiveness of Metric Temporal Logic over Bounded Timed Words

  Hsi−Ming Ho and Joël Ouaknine

  2014.

  To appear in RP 2014.

  Details about On the Expressiveness of Metric Temporal Logic over Bounded Timed Words | BibTeX data for On the Expressiveness of Metric Temporal Logic over Bounded Timed Words | Download (pdf) of On the Expressiveness of Metric Temporal Logic over Bounded Timed Words

Supervisor