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]
@inproceedings{GavranMMPZ18,
title = {Tᴏᴏʟ: accessible automated reasoning for human robot collaboration},
author = {Ivan Gavran and Ortwin Mailahn and Rainer Müller and Richard Peifer and Damien Zufferey},
year = {2018},
doi = {10.1145/3276954.3276961},
url = {https://doi.org/10.1145/3276954.3276961},
researchr = {https://researchr.org/publication/GavranMMPZ18},
cites = {0},
citedby = {0},
pages = {44-56},
booktitle = {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},
editor = {Elisa Gonzalez Boix and Richard P. Gabriel},
publisher = {ACM},
isbn = {978-1-4503-6031-9},
}