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

model-checking, b\"{u}chi automata, almost linear b\"{u}chi automata (alba), lio, linear temporal logic (ltl)

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

1.
Babiak, Tomáš
Fakulta: Fakulta informatiky
Rok: 2007, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Výpočet charakteristických vzorců pro LTL | Práce na příbuzné téma Zobrazit popisek

2.
Bauch, Petr
Fakulta: Fakulta informatiky
Rok: 2009, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: DiVinE-MC Win32 port | Práce na příbuzné téma

3.
Blahoudek, František
Fakulta: Fakulta informatiky
Rok: 2012, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Translation of an LTL fragment to deterministic Rabin and Streett automata | Práce na příbuzné téma

4.
Klokočka, Mikuláš
Fakulta: Fakulta informatiky
Rok: 2019, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Teoretická informatika
Obhajoba diplomové práce: Complementation of TBA Based on Semi-Determinization | Práce na příbuzné téma

5.
Lamr, Tomáš
Fakulta: Fakulta informatiky
Rok: 2009, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Akcelerace procesu verifikace pomocí grafické karty | Práce na příbuzné téma