Statistics of Strategy Logic with Simple Goals: Tractable Reasoning about Strategies

Contact ORBilu