1. D. Angluin (1987): Learning Regular Sets from Queries and Counterexamples. Inf. Comput. 75(2), pp. 87–106. Available at
  2. M. C. Chu-Carroll: Algorithm of Kosaraju. goodmath/2007/10/computing_strongly_connected_c.php. Accessed 14 July 2011.
  3. S. Chaki & A. Gurfinkel (2011): Automated assume-guarantee reasoning for omega-regular systems and specifications. ISSE 7(2), pp. 131–139. Available at
  4. Rüdiger Ehlers & Bernd Finkbeiner (2010): On the Virtue of Patience: Minimizing Büchi Automata. In: Jaco van de Pol & Michael Weber: SPIN, Lecture Notes in Computer Science 6349. Springer, pp. 129–145. Available at
  5. Kousha Etessami & Gerard J. Holzmann (2000): Optimizing Büchi Automata. In: Catuscia Palamidessi: CONCUR, Lecture Notes in Computer Science 1877. Springer, pp. 153–167. Available at
  6. Rüdiger Ehlers (2010): Minimising Deterministic Büchi Automata Precisely Using SAT Solving. In: Ofer Strichman & Stefan Szeider: SAT, Lecture Notes in Computer Science 6175. Springer, pp. 326–332. Available at
  7. N. Eén & N. Sörensson: Minisat. Accessed 13 August 2011.
  8. Gregor Gramlich (2007): Über die algorithmische Komplexität regulärer Sprachen. Ph.D. thesis. Available at
  9. Gerard Holzmann (2003): SPIN MODEL CHECKER, the: primer and reference manual, first edition. Addison-Wesley Professional.
  10. J Hopcroft (1971): An n log n algorithm for minimizing states in a finite automaton. Reproduction, pp. 189–196. Available at
  11. Nils Klarlund & Anders Møller (2001): MONA Version 1.4 User Manual. BRICS, Department of Computer Science, Aarhus University. Notes Series NS-01-1. Available from 101210\p@ plus2\p@ minus5\p@ \z@ plus3\p@ 6\p@ plus3\p@ minus3\p@ \defłeftmarginłeftmargini 2.5\p@ plus1.5\p@ minus\p@ 5\p@ plus2\p@ minus5\p@ıtemsep 2.5\p@ plus1.5\p@ minus\p@łeftmarginłeftmargini 6\p@ plus2\p@ minus2\p@ 3\p@ plus2\p@ minus\p@ıtemsep Revision of BRICS NS-98-3.
  12. C. Löding (2001): Efficient minimization of deterministic weak omega-automata. Inf. Process. Lett. 79(3), pp. 105–109. Available at
  13. M. Michel (1988): Complementation is more difficult with automata on infinite words.. CNET, Paris.
  14. Nir Piterman (2007): From Nondeterministic Büchi and Streett Automata to Deterministic Parity Automata. CoRR abs/0705.2205. Available at
  15. Sven Schewe (2010): Minimisation of Deterministic Parity and Buchi Automata and Relative Minimisation of Deterministic Finite Automata. CoRR abs/1007.1333. Available at
  16. Ming-Hsien Tsai, Seth Fogarty, Moshe Y. Vardi & Yih-Kuen Tsay (2010): State of Büchi Complementation. In: Michael Domaratzki & Kai Salomaa: CIAA, Lecture Notes in Computer Science 6482. Springer, pp. 261–271. Available at

Comments and questions to:
For website issues: