- Benedikt Brütsch:
Synthesizing Structured Reactive Programs via Deterministic Tree Automata. SR 2013: 107-113 - Bastien Maubert, Sophie Pinchinat, Laura Bozzelli:
The Complexity of Synthesizing Uniform Strategies. SR 2013: 115-122 - Fabio Mogavero, Aniello Murano, Moshe Y. Vardi:
Proceedings 1st International Workshop on Strategic Reasoning, SR 2013, Rome, Italy, March 16-17, 2013. EPTCS 112, 2013 [contents]