.:. Browse > List by subject > Computer Science and Game Theory .:.

7 documents ordered by : Date Title first author name document type Submit date

Connected Surveillance Game Giroire F., Mazauric D., Nisse N., Pérennes S., Pardo Soares R. Rapport de recherche (2013) 22 [hal-00820271 - version 1]

Deciding the Value 1 Problem for #-acyclic Partially Observable Markov Decision Processes Gimbert H., Oualhadj Y. Rapport de recherche [hal-00743137 - version 2]

FICS 2010 Miller D., Carayol A., Rondogiannis P., Birkedal L., Czarnecki M., Grall H., Levy P., Mio M., Nakata K., Romashchenko A. et al Dans Fixed Points in Computer Science 2010 - 7th Workshop on Fixed Points in Computer Science, FICS 2010, Tchèque, République (2010) [hal-00512377 - version 1]

On the word problem for SP-categories, and the properties of two-way communication Santocanale L., Cockett R. Dans CSL 2009 - CSL 2009, Portugal (2009) [hal-00374654 - version 1]

Structures algébriques en logique et concurrence Santocanale L. Université de Provence - Aix-Marseille I (2008-12-09), Rémi Morin (Pr.) [tel-00369583 - version 1]

Undirected Graphs of Entanglement Two Belkhir W., Santocanale L. FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science, Inde (2007) [hal-00144355 - version 2]

The Variable Hierarchy for the Games mu-Calculus Belkhir W., Santocanale L. [hal-00178806 - version 2] (13/03/2008)