Práce na stejné téma (mají shodná klíčová slova):

shortest counterexample

Klíčová slova abecedně | Klíčová slova dle četnosti

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ů | Práce na příbuzné téma

Seznam prací, které mají shodná klíčová slova.

Transformation of Nondeterministic Büchi Automata to Tight Automata
 (Marek Jankola)

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

• https://is.muni.cz/th/o0p4b/ | Informatika / Matematická informatika | Práce na příbuzné téma