CIRM - Videos & books LibraryDocuments

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Research talks;Computer Science

We show that two-player stochastic games with perfect-information and shift-invariant submixing payoff functions are half-positional, i.e. in these games the maximizer has a positional optimal strategy. This extension of our previous result for one-player games relies on an interesting existence result about the existence of epsilon-subgame-perfect strategies.

Documents

Thesaurus

Revues

Documents 68Q60 | enregistrements trouvés : 52

Two-player perfect-information shift-invariant submixing stochastic games are half-positional Gimbert, Hugo | CIRM H Nouveau

8th international conference on automated deduction :proceedings held at st. catherine college#July 27 - Aug. 1 Siekmann, Jorg H. | Springer-Verlag 1986 Nouveau

Abstract software specifications :proceedings of the copenhagen winter school#Jan. 22 - Feb. 2 Bjorner, D. | Springer-Verlag 1980 Nouveau

Automatic verification methods for finite state systems:international workshop#June12-14 Sifakis, J. | Springer-Verlag 1990 Nouveau

Computer aided verification:10th international conference, CAV'98#june28-july2 Hu, Alain J. ; Vardi, Moshe Y. | Springer-Verlag 1998 Nouveau

Computer aided verification:11th international conference, CAV'99#July 6-10 Halbwachs, Nicolas ; Peled, Doron A. | Springer-Verlag 1999 Nouveau

Computer aided verification:12th international conference, CAV#July15-19 Emerson, Allen E. ; Sistla, Prasad A. | Springer-Verlag 2000 Nouveau

Computer aided verification:3rd international workshop, CAV'91#July1-4 Larsen, K. G. ; Skou, A. | Springer-Verlag 1992 Nouveau

Computer aided verification:5th international conference, CAV'93#June28-July1 Courcoubetis, Costas | Springer-Verlag 1993 Nouveau

Computer aided verification:7th international conference, CAV'95#July 3-5 Wolper, Pierre | Springer-Verlag 1995 Nouveau

Computer aided verification:8th international conference, CAV'96#July31-Aug.3 Alur, Rajeev ; Henzinger, Thomas A. | Springer-Verlag 1996 Nouveau

Computer aided verification:9th international conference, CAV'97#June 22-25 Grumberg, Orna | Springer-Verlag 1997 Nouveau

Computer science today :recent trends and developments Van Leeuwen, Jan | Springer 1995 Nouveau

Computer-aided verification'90 :proceedings of a DIMACS Workshop, Rutgers University#June 18-20 Clarke, E. M. ; Kurshan, R. P. | American Mathematical Society 1991 Nouveau

Concur '91 :2nd international conference on concurrency theory held in amsterdam#Aug. 26-29 Baeten, J. C. M. ; Groote, J. F. | Springer-Verlag 1991 Nouveau

Concurrency and parallelism, programming, networking, and security ::second Asian computing science conference, ASIAN '96#Dec. 2-5 Jaffar, Joxan ; Yap, Roland H. C. | Springer 1996 Nouveau

Eci conference 1976 :proceedings of the 1st. conference of the european cooperation in informatics#Aug. 9-12 Samelson, K. | Springer-Verlag 1976 Nouveau

Graph grammars and their application to computer science :5th international workshop#Nov. 13-18 Cuny, J. ; Ehrig, H. ; Engels, G. ; Rozenberg, G. E d. | Springer 1996 Nouveau

International symposium on programming#Avril 22-24 Robinet, B. | Springer-Verlag 1980 Nouveau

Logics of programs :proceedings of a conference on... held at brooklyn coolege#June 17-19 Parikh, Rohit | Springer-Verlag 1985 Nouveau

Filtrer

Type

Domaine

Codes MSC

Documents

Références

Auteurs

Thesaurus

8th international conference on automated deduction :
proceedings held at st. catherine college#July 27 - Aug. 1 Siekmann, Jorg H. | Springer-Verlag 1986 Nouveau

Abstract software specifications :
proceedings of the copenhagen winter school#Jan. 22 - Feb. 2 Bjorner, D. | Springer-Verlag 1980 Nouveau

Automatic verification methods for finite state systems:
international workshop#June12-14 Sifakis, J. | Springer-Verlag 1990 Nouveau

Computer aided verification:
10th international conference, CAV'98#june28-july2 Hu, Alain J. ; Vardi, Moshe Y. | Springer-Verlag 1998 Nouveau

Computer aided verification:
11th international conference, CAV'99#July 6-10 Halbwachs, Nicolas ; Peled, Doron A. | Springer-Verlag 1999 Nouveau

Computer aided verification:
12th international conference, CAV#July15-19 Emerson, Allen E. ; Sistla, Prasad A. | Springer-Verlag 2000 Nouveau

Computer aided verification:
3rd international workshop, CAV'91#July1-4 Larsen, K. G. ; Skou, A. | Springer-Verlag 1992 Nouveau

Computer aided verification:
5th international conference, CAV'93#June28-July1 Courcoubetis, Costas | Springer-Verlag 1993 Nouveau

Computer aided verification:
7th international conference, CAV'95#July 3-5 Wolper, Pierre | Springer-Verlag 1995 Nouveau

Computer aided verification:
8th international conference, CAV'96#July31-Aug.3 Alur, Rajeev ; Henzinger, Thomas A. | Springer-Verlag 1996 Nouveau

Computer aided verification:
9th international conference, CAV'97#June 22-25 Grumberg, Orna | Springer-Verlag 1997 Nouveau

Computer science today :
recent trends and developments Van Leeuwen, Jan | Springer 1995 Nouveau

Computer-aided verification'90 :
proceedings of a DIMACS Workshop, Rutgers University#June 18-20 Clarke, E. M. ; Kurshan, R. P. | American Mathematical Society 1991 Nouveau

Concur '91 :
2nd international conference on concurrency theory held in amsterdam#Aug. 26-29 Baeten, J. C. M. ; Groote, J. F. | Springer-Verlag 1991 Nouveau

Concurrency and parallelism, programming, networking, and security ::
second Asian computing science conference, ASIAN '96#Dec. 2-5 Jaffar, Joxan ; Yap, Roland H. C. | Springer 1996 Nouveau

Eci conference 1976 :
proceedings of the 1st. conference of the european cooperation in informatics#Aug. 9-12 Samelson, K. | Springer-Verlag 1976 Nouveau

Graph grammars and their application to computer science :
5th international workshop#Nov. 13-18 Cuny, J. ; Ehrig, H. ; Engels, G. ; Rozenberg, G. E d. | Springer 1996 Nouveau

Logics of programs :
proceedings of a conference on... held at brooklyn coolege#June 17-19 Parikh, Rohit | Springer-Verlag 1985 Nouveau