ATUCAPTS: Automated Tests that a User Cannot Pass Twice Simultaneously.

Garrett Andersen, Vincent Conitzer

Browse the full IJCAI paper archive.