2000 character limit reached
Proceedings of the 4th International Workshop on Strategic Reasoning (1607.02694v1)
Published 10 Jul 2016 in cs.LO
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/