Using Metric Temporal Logic to Specify Scheduling Problems.

Roy Luo, Richard Anthony Valenzano, Yi Li, J. Christopher Beck, Sheila A. McIlraith

Browse the full KR paper archive.