Proceedings of the 4th International Workshop on Strategic Reasoning
arXiv:1607.02694 · doi:10.4204/EPTCS.218
Abstract
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/