© 2002

Automata Logics, and Infinite Games

A Guide to Current Research

  • Erich Grädel
  • Wolfgang Thomas
  • Thomas Wilke

Part of the Lecture Notes in Computer Science book series (LNCS, volume 2500)

Table of contents

  1. Front Matter
    Pages I-VIII
  2. Introduction

    1. Front Matter
      Pages 2-2
    2. Berndt Farwer
      Pages 3-21
    3. René Mazala
      Pages 23-38
    4. Back Matter
      Pages 39-40
  3. Determinization and Complementation

    1. Front Matter
      Pages 42-42
    2. Markus Roggenbach
      Pages 43-60
    3. Back Matter
      Pages 92-92
  4. Parity Games

    1. Front Matter
      Pages 94-94
    2. Ralf Küsters
      Pages 95-106
    3. Hartmut Klauck
      Pages 107-129
    4. Back Matter
      Pages 130-131
  5. Tree Automata

    1. Front Matter
      Pages 133-133
    2. Frank Nießner
      Pages 135-152
    3. Daniel Kirsten
      Pages 153-167
    4. Back Matter
      Pages 168-168
  6. Modal μ-Calculus

    1. Front Matter
      Pages 170-170

About this book


A central aim and ever-lasting dream of computer science is to put the development of hardware and software systems on a mathematical basis which is both firm and practical. Such a scientific foundation is needed especially for the construction of reactive programs, like communication protocols or control systems.

For the construction and analysis of reactive systems an elegant and powerful theory has been developed based on automata theory, logical systems for the specification of nonterminating behavior, and infinite two-person games.

The 19 chapters presented in this multi-author monograph give a consolidated overview of the research results achieved in the theory of automata, logics, and infinite games during the past 10 years. Special emphasis is placed on coherent style, complete coverage of all relevant topics, motivation, examples, justification of constructions, and exercises.


Büchi-Automat Computer Computer Science Logic Hardware Infinite Games Logical Calculi Mathematical Logic Monadic Logic State-Based Systems Systems Specification algorithms automata automata theory complexity computer science

Editors and affiliations

  • Erich Grädel
    • 2
  • Wolfgang Thomas
    • 3
  • Thomas Wilke
    • 1
  1. 1.Institut für Informatik und Praktische MathematikUniversität KielKielGermany
  2. 2.Mathematische Grundlagen der InformatikRWTH AachenAachenGermany
  3. 3.Lehrstuhl Informatik VIIRWTH AachenAachenGermany

Bibliographic information

  • Book Title Automata Logics, and Infinite Games
  • Book Subtitle A Guide to Current Research
  • Editors Erich Grädel
    Wolfgang Thomas
    Thomas Wilke
  • Series Title Lecture Notes in Computer Science
  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2002
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Softcover ISBN 978-3-540-00388-5
  • eBook ISBN 978-3-540-36387-3
  • Series ISSN 0302-9743
  • Edition Number 1
  • Number of Pages VIII, 392
  • Number of Illustrations 0 b/w illustrations, 0 illustrations in colour
  • Topics Theory of Computation
    Computer Science, general
  • Buy this book on publisher's site
Industry Sectors
IT & Software
Consumer Packaged Goods
Finance, Business & Banking


From the reviews:

"This book aims to be a ‘Guide to Current Research.’ … it is a concise and uniform presentation of at least 50 papers, along with notes in various places that help the reader to put things together. It has a good bibliography … . the book could be used as a textbook for an advanced graduate course or seminar. … It would be a good choice for a seminar involving students." (Hans-Jörg Tiede, SIGACT News, Vol. 35 (1), 2004)