Theses on the same topic (having an identical keyword):

omega-automata

Keywords ordered alphabetically | Keywords ordered by occurrence rate

« 1 2 » (total: 15 theses)
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

List of theses with an identical keyword.

Redukce omega-automatů s využitím Emerson-Lei akceptační podmínky
 (Tatiana Zbončáková)

2018, Bakalářská práce, Fakulta informatiky / Masarykova univerzita

• https://is.muni.cz/th/hz78t/ | Aplikovaná informatika / | Theses on a related topic

Translation of an LTL fragment to deterministic Rabin and Streett automata
 (František Blahoudek)

2012, Diplomová práce, Fakulta informatiky / Masarykova univerzita

• https://is.muni.cz/th/kr9t4/ | Informatika / Paralelní a distribuované systémy | Theses on a related topic

Zjednodušování akceptační podmínky u Emerson-Lei automatů
 (Tereza Šťastná)

2019, Bakalářská práce, Fakulta informatiky / Masarykova univerzita

• https://is.muni.cz/th/eq9bp/ | Aplikovaná informatika / | Theses on a related topic

Překlad LTL na nedeterministické automaty s generickou akceptační podmínkou
 (Juraj Major)

2017, Diplomová práce, Fakulta informatiky / Masarykova univerzita

• https://is.muni.cz/th/o0rn5/ | Aplikovaná informatika / | Theses on a related topic

« 1 2 » (total: 15 theses)