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