Timed Alternating Tree Automata: The Automata-Theoretic Solution to the TCTL Model Checking Problem

This publication has 9 references indexed in Scilit:

• Automata for modeling real-time systems
  Published by Springer Nature ,2005
• Model-checking for real-time systems
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• A theory of timed automata
  Published by Elsevier ,2002
• Languages, Automata, and Logic
  Published by Springer Nature ,1997
• A space-efficient on-the-fly algorithm for real-time model checking
  Published by Springer Nature ,1996
• Alternating automata and program verification
  Published by Springer Nature ,1995
• An automata-theoretic approach to branching-time model checking (Extended abstract)
  Published by Springer Nature ,1994
• Preface
  Information and Computation, 1993
• On model-checking for fragments of μ-calculus
  Published by Springer Nature ,1993