Roy Luo

Publication Activity (10 Years)

Years Active: 2016-2016
Publications (10 Years): 1

Top Topics

Scheduling Problem

Metric Temporal Logic

List Scheduling

Top Venues

Publications

Roy Luo, Richard Anthony Valenzano, Yi Li, J. Christopher Beck, Sheila A. McIlraith
Using Metric Temporal Logic to Specify Scheduling Problems. KR (2016)