Tᴏᴏʟ: accessible automated reasoning for human robot collaboration.

Ivan Gavran, Ortwin Mailahn, Rainer Mller, Richard Peifer, Damien Zufferey

Browse the full OOPSLA paper archive.