Arrow Research search

Author name cluster

Roy Luo

Possible papers associated with this exact author name in Arrow. This page groups case-insensitive exact name matches and is not a full identity disambiguation profile.

1 paper
1 author row

Possible papers

1

KR Conference 2016 Short Paper

Specifying Scheduling Problems Using Metric Temporal Logic

  • Roy Luo
  • Richard Valenzano
  • Yi Li
  • Chris Beck
  • Sheila McIlraith

We introduce Scheduling MTL (SMTL) an extension of Metric Temporal Logic that supports the specification of complex scheduling problems with repeated and conditional occurrences of activities, and rich temporal relationships among them. We define the syntax and semantics of SMTL, and explore natural restrictions of the language to gain tractability. We also provide an algorithm for finding a schedule to a problem specified as an SMTL formula, and establish a novel equivalence between a fragment of MTL and simple temporal networks, a widely-used formalism in AI temporal planning.

v2026.09.13