Fast LTL to Büchi Automata Translation

This publication has 9 references indexed in Scilit:

• Weak alternating automata are not that weak
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Optimizing Büchi Automata
  Published by Springer Nature ,2000
• Efficient Büchi Automata from LTL Formulae
  Published by Springer Nature ,2000
• Improved Automata Generation for Linear Temporal Logic
  Published by Springer Nature ,1999
• The model checker SPIN
  IEEE Transactions on Software Engineering, 1997
• Simple On-the-fly Automatic Verification of Linear Temporal Logic
  Published by Springer Nature ,1996
• An automata-theoretic approach to linear temporal logic
  Published by Springer Nature ,1996
• Simulating alternating tree automata by nondeterministic automata: New results and new proofs of the theorems of Rabin, McNaughton and Safra
  Theoretical Computer Science, 1995
• Alternating automata on infinite trees
  Theoretical Computer Science, 1987