Giving Instructions in Linear Temporal Logic.

Julian Gutierrez, Sarit Kraus, Giuseppe Perelli, Michael J. Wooldridge

Browse the full TIME paper archive.