Beautiful seductive pictures of automata
- Vojtěch Havlena, Ondřej Lengál, Yong Li, Barbora Šmahlíková, Andrea Turrini: Modular Mix-and-Match Complementation of Büchi Automata. TACAS'23: 249-270. Springer.
- Michal Hečko. Deciding Logic with Automata. Master's thesis. FIT BUT, Brno, Czech Republic. 2024.
- Christel Baier, František Blahoudek, Alexandre Duret-Lutz, Joachim Klein, David Müller, Jan Strejček: Generic Emptiness Check for Fun and Profit. ATVA'19: 445-461. Springer.
- Florian Renkin, Alexandre Duret-Lutz, Adrien Pommellet: Practical "Paritizing" of Emerson-Lei Automata. ATVA'20: 127-143. Springer.