Verifying Brahms Human-Robot Teamwork Models.

Richard Stocker, Louise A. Dennis, Clare Dixon, Michael Fisher

Browse the full JELIA paper archive.