Gavran, I., Mailahn, O., Müller, R., Peifer, R., & Zufferey, D. (2018). TOOL: Accessible Automated Reasoning for Human Robot Collaboration. In Onward!'18 (pp. 44-56). New York, NY: ACM. doi:10.1145/3276954.3276961.