SR

Keyphrases

Publications

2016

volume 218, 2016

Proceedings of the 4th International Workshop on Strategic Reasoning, SR 2016, New York City, USA, 10th July 2016. SR 218 (2016)

2014

Piero A. Bonatti, Marco Faella, Luigi Sauro
Partial Preferences for Mediated Bargaining. SR (2014)
Guillaume Aucher, Bastien Maubert, Sophie Pinchinat
Automata Techniques for Epistemic Protocol Synthesis. SR (2014)
Xiang Jiang, Arno Pauly
Efficient Decomposition of Bimatrix Games (Extended Abstract). SR (2014)
Wojciech Jamroga, Matthijs Melissen, Henning Schnoor
On Defendability of Security Properties. SR (2014)
Dimitar P. Guelev
Refining and Delegating Strategic Ability in ATL. SR (2014)
Véronique Bruyère, Emmanuel Filiot, Mickael Randour, Jean-François Raskin
Expectations or Guarantees? I Want It All! A crossroad between games and MDPs. SR (2014)
Patricia Bouyer, Nicolas Markey, Steen Vester
Nash Equilibria in Symmetric Games with Partial Observation. SR (2014)
Benjamin Aminof, Sasha Rubin
First Cycle Games. SR (2014)
Lluís Godo, Enrico Marchioni
Games for the Strategic Influence of Expectations. SR (2014)
Dietmar Berwanger, Anup Basil Mathew
Games with recurring certainty. SR (2014)
Xiaowei Huang, Ron van der Meyden
An Epistemic Strategy Logic (Extended Abstract). SR (2014)
Francesco Belardinelli
Reasoning about Knowledge and Strategies: Epistemic Strategy Logic. SR (2014)
Cláudia Nalon, Lan Zhang, Clare Dixon, Ullrich Hustadt
A Resolution Prover for Coalition Logic. SR (2014)

volume 146, 2014

Proceedings 2nd International Workshop on Strategic Reasoning, SR 2014, Grenoble, France, April 5-6, 2014. SR 146 (2014)

2013

volume 112, 2013

Proceedings 1st International Workshop on Strategic Reasoning, SR 2013, Rome, Italy, March 16-17, 2013. SR 112 (2013)