Record: found
Abstract: not found
Book Chapter: not found

Verification, Model Checking, and Abstract Interpretation 

Doomsday Equilibria for Omega-Regular Games

other

Author(s): Krishnendu Chatterjee , Laurent Doyen , Emmanuel Filiot , Jean-François Raskin

Publication date (Print): 2014

Publisher: Springer Berlin Heidelberg

Read this book at

Publisher

Buy book

Bookmark

There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Most cited references 21

Record: found
Abstract: not found
Article: not found

Equilibrium points in n-person games

J F Nash (1950)

0 comments Cited 731 times – based on 0 reviews      Review now

Bookmark

Record: found
Abstract: not found
Article: not found

Stochastic Games

L Shapley (1953)

0 comments Cited 216 times – based on 0 reviews      Review now

Bookmark

Record: found
Abstract: not found
Conference Proceedings: not found

On the synthesis of a reactive module

R Rosner, A. Pnueli (1989)

0 comments Cited 145 times – based on 0 reviews

Bookmark

All references

Author and book information

Book Chapter

Publication date (Print): 2014

Pages: 78-97

DOI: 10.1007/978-3-642-54013-4_5

SO-VID: 3dd932a8-8419-4282-b928-0fcab2a31d5b

History

Data availability:

Doomsday Equilibria for Omega-Regular Games

Read this book at

Related collections

CRISPR/Cas9 editing in human blood

Most cited references 21

Equilibrium points in n-person games

Stochastic Games

On the synthesis of a reactive module

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 2,824

Cited by 8