Proceedings of the 4th International Workshop on Strategic Reasoning
Logic in Computer Science
2016-07-12 v1
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/
Keywords
Cite
@article{arxiv.1607.02694,
title = {Proceedings of the 4th International Workshop on Strategic Reasoning},
author = {Alessio Lomuscio and Moshe Y. Vardi},
journal= {arXiv preprint arXiv:1607.02694},
year = {2016}
}