Theses on a related topic (having the same keywords):

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

Keywords ordered alphabetically | Keywords ordered by occurrence rate

1.
Babiak, Tomáš
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Výpočet charakteristických vzorců pro LTL | Theses on a related topic Display description

2.
Bauch, Petr
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: DiVinE-MC Win32 port | Theses on a related topic

3.
Blahoudek, František
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Translation of an LTL fragment to deterministic Rabin and Streett automata | Theses on a related topic

4.
Klokočka, Mikuláš
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Theoretical Informatics
Master's thesis defence: Complementation of TBA Based on Semi-Determinization | Theses on a related topic

5.
Lamr, Tomáš
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Akcelerace procesu verifikace pomocí grafické karty | Theses on a related topic