Optimizing Büchi Automata

This publication has 13 references indexed in Scilit:

• Efficient Büchi Automata from LTL Formulae
  Published by Springer Nature ,2000
• Improved Automata Generation for Linear Temporal Logic
  Published by Springer Nature ,1999
• Stutter-Invariant Languages, ω-Automata, and Temporal Logic
  Published by Springer Nature ,1999
• The model checker SPIN
  IEEE Transactions on Software Engineering, 1997
• Fair simulation
  Published by Springer Nature ,1997
• Simple On-the-fly Automatic Verification of Linear Temporal Logic
  Published by Springer Nature ,1996
• CCS expressions, finite state processes, and three problems of equivalence
  Information and Computation, 1990
• Temporal and Modal Logic
  Published by Elsevier ,1990
• Automata on Infinite Objects
  Published by Elsevier ,1990
• Word problems requiring exponential time(Preliminary Report)
  Published by Association for Computing Machinery (ACM) ,1973