Characterizing Successful Formulas: the Multi-agent Case - Sanchit Saraf; Sumit Sourabh (CoRR, 2012)