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

pravdepodobnostni modely, rabinuv automat, silne souvisle komponenty, distributed model checking, probabilistic models, automatizovana verifikace, linearni temporalni logika, linear tempor logic, koncove komponenty, soustavy linearnich nerovnic automatic verifikacion, end component, system of linear inequations, distribuovany model checking, markov decision proces, rabin automata, strongly connected component

Keywords ordered alphabetically | Keywords ordered by occurrence rate

1.
Svobodová, Jana maiden name: Faltýnková
Faculty: Faculty of Science
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Applied Mathematics / Financial and Insurance Mathematics
Bachelor's thesis defence: Základy bayesovské analýzy dat | Theses on a related topic Display description

2.
Svobodová, Jana maiden name: Faltýnková
Faculty: Faculty of Science
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Mathematics / Finance Mathematics
Master's thesis defence: Aplikace bayesovské analýzy dat | Theses on a related topic

3.
Babiak, Tomáš
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Informatics
Doctoral thesis defence: Translation of Linear Temporal Logic to Omega-Automata | Theses on a related topic

4.
Češka, Milan
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: Parallel Quantitative Analysis of Probabilistic Systems | Theses on a related topic

5.
Danielka, Filip
Faculty: Faculty of Education
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Lower Secondary School Teacher Training in English Language and Literature, Lower Secondary School Teacher Training in Mathematics
Bachelor's thesis defence: Pravděpodobnost a statistika v jazyku R | Theses on a related topic

6.
Malá, Karolína
Faculty: Faculty of Science
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: Mathematics / Algebra and Discrete Mathematics
Master's thesis defence: Algebraický přístup k lineární temporální logice | Theses on a related topic

7.
Mařica, Lukáš
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Theoretical Informatics
Master's thesis defence: Grafické rozhraní nástroje pro řízení robotických systémů | Theses on a related topic

8.
Pastva, Samuel
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Parallel and Distributed Systems
Advanced Master's thesis defence: Discrete Bifurcation Analysis | Theses on a related topic

9.
Pastva, Samuel
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Ph.D.
Programme/field: Computer Science / Fundamentals of Computer Science
Doctoral thesis defence: Digital Bifurcation Analysis: On the Qualities of Long-term Behaviour in Discrete Systems | Theses on a related topic

10.
Pejznoch, Aleš
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Bioinformatics
Master's thesis defence: Syntéza parametrů pro sigmoidální kinetické modely | Theses on a related topic
Master's thesis defence: Syntéza parametrů pro sigmoidální kinetické modely | Theses on a related topic

11.
Pekárek, Martin
Faculty: Faculty of Informatics
Year: 2006, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Implementace distribuovaného algoritmu v prostředí DiVinE | Theses on a related topic

12.
Rujbr, Vojtěch
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Vliv specifikačních automatů na ověřování modelu | Theses on a related topic

13.
Tuček, Adam
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Informatics / Parallel and Distributed Systems
Bachelor's thesis defence: Grafická reprezentace specifikačních vzorů pro temporální logiky | Theses on a related topic

14.
Tůmová, Jana
Faculty: Faculty of Informatics
Year: 2006, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Paralelní ověřování kvalitativních vlastností pravděpodobnostních modelů | Theses on a related topic