|
|
|
|
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.  |
SR  |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Benjamin Aminof, Vadim Malvone, Aniello Murano, Sasha Rubin |
Extended Graded Modalities in Strategy Logic. |
SR |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Stéphane Le Roux 0001, Arno Pauly |
Extending Finite Memory Determinacy to Multiplayer Games. |
SR |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Hein Duijf, Jan M. Broersen |
Representing Strategies. |
SR |
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. |
SR |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Piero A. Bonatti, Marco Faella, Luigi Sauro |
Partial Preferences for Mediated Bargaining. |
SR |
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. |
SR |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Guillaume Aucher, Bastien Maubert, Sophie Pinchinat |
Automata Techniques for Epistemic Protocol Synthesis. |
SR |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiang Jiang 0002, Arno Pauly |
Efficient Decomposition of Bimatrix Games (Extended Abstract). |
SR |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Wojciech Jamroga, Matthijs Melissen, Henning Schnoor |
On Defendability of Security Properties. |
SR |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Dimitar P. Guelev |
Refining and Delegating Strategic Ability in ATL. |
SR |
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. |
SR |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Patricia Bouyer, Nicolas Markey, Steen Vester |
Nash Equilibria in Symmetric Games with Partial Observation. |
SR |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Benjamin Aminof, Sasha Rubin |
First Cycle Games. |
SR |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Lluís Godo, Enrico Marchioni |
Games for the Strategic Influence of Expectations. |
SR |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Dietmar Berwanger, Anup Basil Mathew |
Games with recurring certainty. |
SR |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaowei Huang 0001, Ron van der Meyden |
An Epistemic Strategy Logic (Extended Abstract). |
SR |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco Belardinelli |
Reasoning about Knowledge and Strategies: Epistemic Strategy Logic. |
SR |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Cláudia Nalon, Lan Zhang 0001, Clare Dixon, Ullrich Hustadt |
A Resolution Prover for Coalition Logic. |
SR |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Rayna Dimitrova, Bernd Finkbeiner |
Lossy Channel Games under Incomplete Information |
SR |
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) |
SR |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicholas Asher, Soumya Paul |
Infinite games with uncertain moves |
SR |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Kristine Harjes, Pavel Naumov |
Functional Dependence in Strategic Games (extended abstract) |
SR |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Marta Z. Kwiatkowska, David Parker 0001, Aistis Simaitis |
Strategic Analysis of Trust Models for User-Centric Networks |
SR |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Bastien Maubert, Sophie Pinchinat, Laura Bozzelli |
The Complexity of Synthesizing Uniform Strategies |
SR |
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 |
SR |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon Busard, Charles Pecheur, Hongyang Qu 0001, Franco Raimondi |
Reasoning about Strategies under Partial Observability and Fairness Constraints |
SR |
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. |
SR |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Hélène Kirchner |
A rewriting point of view on strategies |
SR |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Christophe Chareton, Julien Brunel, David Chemouil |
Towards an Updatable Strategy Logic |
SR |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Dimitar P. Guelev |
Reducing Validity in Epistemic ATL to Validity in Epistemic CTL |
SR |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Benedikt Brütsch |
Synthesizing Structured Reactive Programs via Deterministic Tree Automata |
SR |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Truls Pedersen, Sjur K. Dyrkolbotn, Piotr Kazmierczak, Erik Parmann |
Concurrent Game Structures with Roles |
SR |
2013 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #33 of 33 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license