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

Author and book information

Book Chapter

Publication date (Print): 1995

Publication date (Online): June 1 2005

Pages: 1-13

DOI: 10.1007/3-540-59042-0_57

SO-VID: 82980989-ddc7-4cab-82e6-357ba2e19664

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 46

A game theoretic approach to controller design for hybrid systems
Authors: S. Shankar Sastry, C.J. Tomlin, J Lygeros
Quantitative solution of omega-regular games
Authors: Luca de Alfaro, Rupak Majumdar
Symbolic controller synthesis for discrete and timed systems
Authors: Eugene Asarin, Oded Maler, Amir Pnueli

See all cited by

On the synthesis of strategies in infinite games

Read this book at