TaskLint: Automated Detection of Ambiguities in Task Instructions.

V. K. Chaithanya Manam, Joseph Divyan Thomas, Alexander J. Quinn

Browse the full HCOMP paper archive.