edited by Deepak D'Souza (Indian Institute of Science, India) & Priti Shankar (Indian Institute of Science, India)

Automata theory has come into prominence in recent years with a plethora of applications in fields ranging from verification to XML processing and file compression. In fact, the 2007 Turing Award was awarded to Clarke, Emerson and Sifakis for their pioneering work on model-checking techniques. To the best of our knowledge, there is no single book that covers the vast range of applications of automata theory targeted at a mature student audience. This book is intended to fill that gap and can be used as an intermediate-level textbook. It begins with a detailed treatment of foundational material not normally covered in a beginner's course in automata theory, and then rapidly moves on to applications. The book is largely devoted to verification and model checking, and contains material that is at the cutting edge of verification technology. It will be an invaluable reference for software practitioners working in this area.

• Automata on Infinite Words
• An Introduction to Tree Automata
• Automata and Verification
• Automata Theory in Automatic Program Verification
• Finite Automata and the Analysis of Infinite Transition Systems
• Some Analysis Techniques for Systems with an Infinite State Space
• Weighted Finite Automata and Digital Image Representation
• A Framework for Decentralized Access Control Using Finite State Automata
• Automata on Distributed Alphabets
• The Theory of MSC Languages
• Automata-Theoretic Approaches for Temporal Logic Model-Checking
• Automata Directed Compression of Structured Files
• Type-Checking Tree Walking Transducers
• Automata for Navigating Unbounded Data
• Automata on Nested Words with Applications to Verification and XML
• Automata and Logics over Signals
• Algorithmic Analysis of Interval Temporal Logics and Duration Calculi
• Discrete Approximate Regular Behaviors of Hybrid Automata