Quelques liens bibliographiques du cours "Logiques et automates":

•  An automata-theoretic approach to linear time temporal logic (by M. Vardi)
•  An automata-theoretic approach to branching time model-checking (by O. Kupferman, M. Vardi,  P. Wolper)
•   The complementation of Büchi automata revisited (by Wolfgang Thomas).