Proceedings of the 4th International Workshop on Strategic Reasoning
  This volume contains the proceedings of the Fourth International Workshop on Strategic Reasoning (SR 2016), held in New York City (USA), July 10, 2016. The workshop consisted of 2 keynote talks and 9 contributed presentations on themes of logic, verification, games and equilibria.   More information about the Strategic Workshop series is available at http://www.strategicreasoning.net/ 
Alessio Lomuscio (Imperial College London), Moshe Y. Vardi (Rice   University)
cs.LO