Tᴏᴏʟ: accessible automated reasoning for human robot collaboration. - Ivan Gavran; Ortwin Mailahn; Rainer Müller; Richard Peifer; Damien Zufferey (Onward!, 2018)