RoboCat: A Category Theoretic Framework for Robotic Interoperability Using Goal-Oriented Programming. - Angeline Aguinaldo; Jacob Bunker; Blake S. Pollard; Ankit Shukla; Arquimedes Canedo; Gustavo Quiros Araya; William Regli (IEEE Trans Autom. Sci. Eng., 2022)