|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
11 results found
| no | title | author | magazine | year | volume | issue | page(s) | type |
| 1 | Combining fault injection and model checking to verify fault tolerance, recoverability, and diagnosability in multi-agent systems |
Ezekiel, J. |
2017 |
254 | P2 |
p. 167-194 28 p. |
article |
|
| 2 | Doomsday equilibria for omega-regular games |
Chatterjee, Krishnendu |
2017 |
254 | P2 |
p. 296-315 20 p. |
article |
|
| 3 | Editorial Board |
2017 |
254 | P2 |
p. i- 1 p. |
article |
||
| 4 | Editorial Board |
2017 |
254 | P2 |
p. IFC- 1 p. |
article |
||
| 5 | First-cycle games |
Aminof, Benjamin |
2017 |
254 | P2 |
p. 195-216 22 p. |
article |
|
| 6 | Infinite games with finite knowledge gaps |
Berwanger, Dietmar |
2017 |
254 | P2 |
p. 217-237 21 p. |
article |
|
| 7 | Meet your expectations with guarantees: Beyond worst-case synthesis in quantitative games |
Bruyère, Véronique |
2017 |
254 | P2 |
p. 259-295 37 p. |
article |
|
| 8 | Nash equilibria in symmetric graph games with partial observation |
Bouyer, Patricia |
2017 |
254 | P2 |
p. 238-258 21 p. |
article |
|
| 9 | Preface to the Special Issue on SR 2014 |
Mogavero, Fabio |
2017 |
254 | P2 |
p. 141-142 2 p. |
article |
|
| 10 | Quantitative fair simulation games |
Chatterjee, Krishnendu |
2017 |
254 | P2 |
p. 143-166 24 p. |
article |
|
| 11 | Refining strategic ability in alternating-time temporal logic |
Guelev, Dimitar P. |
2017 |
254 | P2 |
p. 316-328 13 p. |
article |
11 results found