Theses on the same topic (having an identical keyword):
Büchi automataKeywords ordered alphabetically | Keywords ordered by occurrence rate
Tight Omega-Automata
(Marek Jankola)2023, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/y8hv7/ | Teoretická informatika / Formální analýza počítačových systémů | Theses on a related topic
Semi-Determinization of Omega-Automata
(Mikuláš Klokočka)2017, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/c9v0s/ | Informatika / Matematická informatika | Theses on a related topic
Simple Complementation of Generalized Büchi Automata
(David Dokoupil)2023, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/s2a5u/ | Informatika / | Theses on a related topic
Translation of LTL to omega-automata
(Tomáš Babiak)2011, Rigorózní práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/zwfv1/ | Informatika / Paralelní a distribuované systémy | Theses on a related topic