@unpublished{Ho2014c,
  title = "The UAV Problem is PSPACE-Complete",
  author = "Ho, Hsi-Ming and Ouaknine, Jo\"{e}l",
  year = "2014",
  note = "Submitted.",
  url = "http://www.cs.ox.ac.uk/people/hsi-ming.ho/UAV14.pdf",
}
@unpublished{Ho2014b,
  title = "Online Monitoring of Metric Temporal Logic",
  author = "Ho, Hsi-Ming and Ouaknine, Jo\"{e}l and Worrell, James",
  year = "2014",
  note = "To appear in RV 2014.",
  url = "http://www.cs.ox.ac.uk/people/hsi-ming.ho/monitoring-full.pdf",
}
@unpublished{Ho2014a,
  title = "On the Expressiveness of Metric Temporal Logic over Bounded Timed Words",
  author = "Ho, Hsi-Ming and Ouaknine, Jo\"{e}l",
  year = "2014",
  note = "To appear in RP 2014.",
  url = "http://www.cs.ox.ac.uk/people/hsi-ming.ho/exp.pdf",
}