nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('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. |
artikel |
2 |
Doomsday equilibria for omega-regular games
|
Chatterjee, Krishnendu |
|
2017 |
254 |
P2 |
p. 296-315 20 p. |
artikel |
3 |
Editorial Board
|
|
|
2017 |
254 |
P2 |
p. i- 1 p. |
artikel |
4 |
Editorial Board
|
|
|
2017 |
254 |
P2 |
p. IFC- 1 p. |
artikel |
5 |
First-cycle games
|
Aminof, Benjamin |
|
2017 |
254 |
P2 |
p. 195-216 22 p. |
artikel |
6 |
Infinite games with finite knowledge gaps
|
Berwanger, Dietmar |
|
2017 |
254 |
P2 |
p. 217-237 21 p. |
artikel |
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. |
artikel |
8 |
Nash equilibria in symmetric graph games with partial observation
|
Bouyer, Patricia |
|
2017 |
254 |
P2 |
p. 238-258 21 p. |
artikel |
9 |
Preface to the Special Issue on SR 2014
|
Mogavero, Fabio |
|
2017 |
254 |
P2 |
p. 141-142 2 p. |
artikel |
10 |
Quantitative fair simulation games
|
Chatterjee, Krishnendu |
|
2017 |
254 |
P2 |
p. 143-166 24 p. |
artikel |
11 |
Refining strategic ability in alternating-time temporal logic
|
Guelev, Dimitar P. |
|
2017 |
254 |
P2 |
p. 316-328 13 p. |
artikel |