|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
Results
Found 33 publication records. Showing 33 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Youssouf Oualhadj, Nicolas Troquard |
Rational verification in Iterated Electric Boolean Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SR ![In: Proceedings of the 4th International Workshop on Strategic Reasoning, SR 2016, New York City, USA, 10th July 2016., pp. 41-51, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Benjamin Aminof, Vadim Malvone, Aniello Murano, Sasha Rubin |
Extended Graded Modalities in Strategy Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SR ![In: Proceedings of the 4th International Workshop on Strategic Reasoning, SR 2016, New York City, USA, 10th July 2016., pp. 1-14, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Stéphane Le Roux 0001, Arno Pauly |
Extending Finite Memory Determinacy to Multiplayer Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SR ![In: Proceedings of the 4th International Workshop on Strategic Reasoning, SR 2016, New York City, USA, 10th July 2016., pp. 27-40, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Hein Duijf, Jan M. Broersen |
Representing Strategies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SR ![In: Proceedings of the 4th International Workshop on Strategic Reasoning, SR 2016, New York City, USA, 10th July 2016., pp. 15-26, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Alessio Lomuscio, Moshe Y. Vardi (eds.) |
Proceedings of the 4th International Workshop on Strategic Reasoning, SR 2016, New York City, USA, 10th July 2016. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SR ![The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Piero A. Bonatti, Marco Faella, Luigi Sauro |
Partial Preferences for Mediated Bargaining. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SR ![In: Proceedings 2nd International Workshop on Strategic Reasoning, SR 2014, Grenoble, France, April 5-6, 2014., pp. 105-111, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Fabio Mogavero, Aniello Murano, Moshe Y. Vardi (eds.) |
Proceedings 2nd International Workshop on Strategic Reasoning, SR 2014, Grenoble, France, April 5-6, 2014. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SR ![The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Guillaume Aucher, Bastien Maubert, Sophie Pinchinat |
Automata Techniques for Epistemic Protocol Synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SR ![In: Proceedings 2nd International Workshop on Strategic Reasoning, SR 2014, Grenoble, France, April 5-6, 2014., pp. 97-103, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Xiang Jiang 0002, Arno Pauly |
Efficient Decomposition of Bimatrix Games (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SR ![In: Proceedings 2nd International Workshop on Strategic Reasoning, SR 2014, Grenoble, France, April 5-6, 2014., pp. 75-81, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Wojciech Jamroga, Matthijs Melissen, Henning Schnoor |
On Defendability of Security Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SR ![In: Proceedings 2nd International Workshop on Strategic Reasoning, SR 2014, Grenoble, France, April 5-6, 2014., pp. 17-25, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Dimitar P. Guelev |
Refining and Delegating Strategic Ability in ATL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SR ![In: Proceedings 2nd International Workshop on Strategic Reasoning, SR 2014, Grenoble, France, April 5-6, 2014., pp. 57-63, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | 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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SR ![In: Proceedings 2nd International Workshop on Strategic Reasoning, SR 2014, Grenoble, France, April 5-6, 2014., pp. 1-8, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Patricia Bouyer, Nicolas Markey, Steen Vester |
Nash Equilibria in Symmetric Games with Partial Observation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SR ![In: Proceedings 2nd International Workshop on Strategic Reasoning, SR 2014, Grenoble, France, April 5-6, 2014., pp. 49-55, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Benjamin Aminof, Sasha Rubin |
First Cycle Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SR ![In: Proceedings 2nd International Workshop on Strategic Reasoning, SR 2014, Grenoble, France, April 5-6, 2014., pp. 83-90, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Lluís Godo, Enrico Marchioni |
Games for the Strategic Influence of Expectations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SR ![In: Proceedings 2nd International Workshop on Strategic Reasoning, SR 2014, Grenoble, France, April 5-6, 2014., pp. 9-15, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Dietmar Berwanger, Anup Basil Mathew |
Games with recurring certainty. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SR ![In: Proceedings 2nd International Workshop on Strategic Reasoning, SR 2014, Grenoble, France, April 5-6, 2014., pp. 91-96, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Xiaowei Huang 0001, Ron van der Meyden |
An Epistemic Strategy Logic (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SR ![In: Proceedings 2nd International Workshop on Strategic Reasoning, SR 2014, Grenoble, France, April 5-6, 2014., pp. 35-41, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Francesco Belardinelli |
Reasoning about Knowledge and Strategies: Epistemic Strategy Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SR ![In: Proceedings 2nd International Workshop on Strategic Reasoning, SR 2014, Grenoble, France, April 5-6, 2014., pp. 27-33, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Cláudia Nalon, Lan Zhang 0001, Clare Dixon, Ullrich Hustadt |
A Resolution Prover for Coalition Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SR ![In: Proceedings 2nd International Workshop on Strategic Reasoning, SR 2014, Grenoble, France, April 5-6, 2014., pp. 65-73, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Rayna Dimitrova, Bernd Finkbeiner |
Lossy Channel Games under Incomplete Information ![Search on Bibsonomy](Pics/bibsonomy.png) |
SR ![In: Proceedings 1st International Workshop on Strategic Reasoning, SR 2013, Rome, Italy, March 16-17, 2013., pp. 43-51, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Nils Bulling, Valentin Goranko |
How to Be Both Rich and Happy: Combining Quantitative and Qualitative Strategic Reasoning about Multi-Player Games (Extended Abstract) ![Search on Bibsonomy](Pics/bibsonomy.png) |
SR ![In: Proceedings 1st International Workshop on Strategic Reasoning, SR 2013, Rome, Italy, March 16-17, 2013., pp. 33-41, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Nicholas Asher, Soumya Paul |
Infinite games with uncertain moves ![Search on Bibsonomy](Pics/bibsonomy.png) |
SR ![In: Proceedings 1st International Workshop on Strategic Reasoning, SR 2013, Rome, Italy, March 16-17, 2013., pp. 25-32, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Kristine Harjes, Pavel Naumov |
Functional Dependence in Strategic Games (extended abstract) ![Search on Bibsonomy](Pics/bibsonomy.png) |
SR ![In: Proceedings 1st International Workshop on Strategic Reasoning, SR 2013, Rome, Italy, March 16-17, 2013., pp. 9-15, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Marta Z. Kwiatkowska, David Parker 0001, Aistis Simaitis |
Strategic Analysis of Trust Models for User-Centric Networks ![Search on Bibsonomy](Pics/bibsonomy.png) |
SR ![In: Proceedings 1st International Workshop on Strategic Reasoning, SR 2013, Rome, Italy, March 16-17, 2013., pp. 53-59, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Bastien Maubert, Sophie Pinchinat, Laura Bozzelli |
The Complexity of Synthesizing Uniform Strategies ![Search on Bibsonomy](Pics/bibsonomy.png) |
SR ![In: Proceedings 1st International Workshop on Strategic Reasoning, SR 2013, Rome, Italy, March 16-17, 2013., pp. 115-122, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Umberto Grandi, Andrea Loreggia, Francesca Rossi 0001, Kristen Brent Venable, Toby Walsh |
Restricted Manipulation in Iterative Voting: Convergence and Condorcet Efficiency ![Search on Bibsonomy](Pics/bibsonomy.png) |
SR ![In: Proceedings 1st International Workshop on Strategic Reasoning, SR 2013, Rome, Italy, March 16-17, 2013., pp. 17-24, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Simon Busard, Charles Pecheur, Hongyang Qu 0001, Franco Raimondi |
Reasoning about Strategies under Partial Observability and Fairness Constraints ![Search on Bibsonomy](Pics/bibsonomy.png) |
SR ![In: Proceedings 1st International Workshop on Strategic Reasoning, SR 2013, Rome, Italy, March 16-17, 2013., pp. 71-79, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Fabio Mogavero, Aniello Murano, Moshe Y. Vardi (eds.) |
Proceedings 1st International Workshop on Strategic Reasoning, SR 2013, Rome, Italy, March 16-17, 2013. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SR ![The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Hélène Kirchner |
A rewriting point of view on strategies ![Search on Bibsonomy](Pics/bibsonomy.png) |
SR ![In: Proceedings 1st International Workshop on Strategic Reasoning, SR 2013, Rome, Italy, March 16-17, 2013., pp. 99-105, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Christophe Chareton, Julien Brunel, David Chemouil |
Towards an Updatable Strategy Logic ![Search on Bibsonomy](Pics/bibsonomy.png) |
SR ![In: Proceedings 1st International Workshop on Strategic Reasoning, SR 2013, Rome, Italy, March 16-17, 2013., pp. 91-98, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Dimitar P. Guelev |
Reducing Validity in Epistemic ATL to Validity in Epistemic CTL ![Search on Bibsonomy](Pics/bibsonomy.png) |
SR ![In: Proceedings 1st International Workshop on Strategic Reasoning, SR 2013, Rome, Italy, March 16-17, 2013., pp. 81-89, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Benedikt Brütsch |
Synthesizing Structured Reactive Programs via Deterministic Tree Automata ![Search on Bibsonomy](Pics/bibsonomy.png) |
SR ![In: Proceedings 1st International Workshop on Strategic Reasoning, SR 2013, Rome, Italy, March 16-17, 2013., pp. 107-113, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Truls Pedersen, Sjur K. Dyrkolbotn, Piotr Kazmierczak, Erik Parmann |
Concurrent Game Structures with Roles ![Search on Bibsonomy](Pics/bibsonomy.png) |
SR ![In: Proceedings 1st International Workshop on Strategic Reasoning, SR 2013, Rome, Italy, March 16-17, 2013., pp. 61-69, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #33 of 33 (100 per page; Change: )
|
|