Automata logics, and infinite games: a guide to current research

By E. Grädel, W. Thomas, Thomas Wilke. 2002

819 citations recorded by the source corpus.

View Paper: https://www.semanticscholar.org/paper/13759f429625623feec24aac15e7f82b95401cda

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

1. Joost-Pieter Katoen

Citations in the corpus

• Principles of model checking (2008, background): “An excellent overview of the main concepts of and recent results on ω-automata is provided by the tutorial proceedings [174].”