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

Ivan Gavran, Ortwin Mailahn, Rainer Müller, Richard Peifer, Damien Zufferey. Tᴏᴏʟ: accessible automated reasoning for human robot collaboration. In Elisa Gonzalez Boix, Richard P. Gabriel, editors, Proceedings of the 2018 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, Onward! 2018, Boston, MA, USA, November 7-8, 2018. pages 44-56, ACM, 2018. [doi]

Abstract

Abstract is missing.