Statistics of Reasoning about Strategies of Multi-Agent Programs

Contact ORBilu