Proceedings of the 4th International Workshop on Strategic Reasoning
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/
- Publication:
-
arXiv e-prints
- Pub Date:
- July 2016
- DOI:
- 10.48550/arXiv.1607.02694
- arXiv:
- arXiv:1607.02694
- Bibcode:
- 2016arXiv160702694L
- Keywords:
-
- Computer Science - Logic in Computer Science
- E-Print:
- EPTCS 218, 2016