Relational Reasoning for Multi-Agent Systems - The Robotics Institute Carnegie Mellon University