Digitale Bibliotheek
Sluiten Bladeren door artikelen uit een tijdschrift
     Tijdschrift beschrijving
       Alle jaargangen van het bijbehorende tijdschrift
         Alle afleveringen van het bijbehorende jaargang
                                       Alle artikelen van de bijbehorende aflevering
 
                             11 gevonden resultaten
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
                             11 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland