Graph-Theoretical Design And Evaluation Of Proactive Robotic Teammates