EPTCS 112 - SR 2013

- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1303-0071
- ask others
Fabio Mogavero, Aniello Murano, Moshe Y. Vardi (Eds.): Proceedings 1st International Workshop on Strategic Reasoning. 2013 EPTCS 112 [ contents ]
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1303-0786
- ask others
Kristine Harjes, Pavel Naumov: Functional Dependence in Strategic Games (extended abstract). ... 9-15
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1303-0787
- ask others
Umberto Grandi, Andrea Loreggia, Francesca Rossi, Kristen Brent Venable, Toby Walsh: Restricted Manipulation in Iterative Voting: Convergence and Condorcet Efficiency. ... 17-24
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1303-0788
- ask others
Nicholas Asher, Soumya Paul: Infinite games with uncertain moves. ... 25-32
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1303-0789
- ask others
Nils Bulling, Valentin Goranko: How to Be Both Rich and Happy: Combining Quantitative and Qualitative Strategic Reasoning about Multi-Player Games (Extended Abstract). ... 33-41
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1303-0790
- ask others
Rayna Dimitrova, Bernd Finkbeiner: Lossy Channel Games under Incomplete Information. ... 43-51
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1303-0791
- ask others
Marta Z. Kwiatkowska, David Parker, Aistis Simaitis: Strategic Analysis of Trust Models for User-Centric Networks. ... 53-59
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1303-0792
- ask others
Truls Pedersen, Sjur Dyrkolbotn, Piotr Kazmierczak, Erik Parmann: Concurrent Game Structures with Roles. ... 61-69
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1303-0793
- ask others
Simon Busard, Charles Pecheur, Hongyang Qu, Franco Raimondi: Reasoning about Strategies under Partial Observability and Fairness Constraints. ... 71-79
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1303-0794
- ask others
Dimitar P. Guelev: Reducing Validity in Epistemic ATL to Validity in Epistemic CTL. ... 81-89
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1303-0795
- ask others
Christophe Chareton, Julien Brunel, David Chemouil: Towards an Updatable Strategy Logic. ... 91-98
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1303-0796
- ask others
Hélène Kirchner: A rewriting point of view on strategies. ... 99-105
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1303-0797
- ask others
Benedikt Brütsch: Synthesizing Structured Reactive Programs via Deterministic Tree Automata. ... 107-113
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1303-0798
- ask others
Bastien Maubert, Sophie Pinchinat, Laura Bozzelli: The Complexity of Synthesizing Uniform Strategies. ... 115-122