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

prism language, markov chain, continuous-time markov chain (ctmc), generalized semi-markov process (gsmp), storm model checker

Keywords ordered alphabetically | Keywords ordered by occurrence rate

1.
Brázdil, Tomáš
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: Ph.D.
Programme/field: Informatics / Informatics
Doctoral thesis defence: Verification of Probabilistic Recursive Sequential Programs | Theses on a related topic Display description

2.
Brázdil, Tomáš
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Informatics
Advanced Master's thesis defence: Verification of Probabilistic Recursive Sequential Programs | Theses on a related topic

3.
Farmadin, Adrian
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Information Technology Security
Master's thesis defence: Rozšíření nástroje PRISM o analýzu Markovových řetězců spojitého času s fixními událostmi | Theses on a related topic

4.
Forch, Vlastislav
Faculty: Faculty of Science
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Applied Mathematics / Financial and Insurance Mathematics
Bachelor's thesis defence: Pravděpodobný výsledek jednoduché poziční hry | Theses on a related topic

5.
Ganswohlová, Tereza
Faculty: Faculty of Science
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Mathematics / Financial and Insurance Mathematics
Bachelor's thesis defence: Aplikace markovských procesů v pojistné matematice | Theses on a related topic

6.
Hordějčuková, Klára
Faculty: Faculty of Science
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Mathematics / Financial and Insurance Mathematics
Bachelor's thesis defence: Spojité Markovovské řetězce a jejich použití | Theses on a related topic

7.
Jurík, Karol
Faculty: Faculty of Science
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Mathematics / Financial and Insurance Mathematics
Bachelor's thesis defence: Bonus malus systémy v pojištění | Theses on a related topic

8.
Kopčoková, Ivica
Faculty: Faculty of Science
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Applied Mathematics / Financial and Insurance Mathematics
Bachelor's thesis defence: Stochastické modely výskytu událostí | Theses on a related topic
Bachelor's thesis defence: Stochastické modely výskytu událostí | Theses on a related topic

9.
Kvaka, Tomáš
Faculty: Faculty of Science
Year: 2008, studies completed, degree conferred: Mgr.
Programme/field: Applied Mathematics / Mathematics - Economics
Master's thesis defence: Markov Chain Monte Carlo metody a konvergenční diagnostiky s aplikací v ekonomii | Theses on a related topic

10.
Marčeková, Michaela
Faculty: Faculty of Science
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Mathematics / Financial and Insurance Mathematics
Bachelor's thesis defence: Specifické sekvence v náhodných posloupnostech | Theses on a related topic

11.
Melnyk, Rostyslav
Faculty: Faculty of Economics and Administration
Year: 2022, studies completed, degree conferred: Ing.
Programme/field: Finance / Finance
Master's thesis defence: Modelování rizika předčasného splacení hypotečního úvěru | Theses on a related topic

12.
Moutelík, Tomáš
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Informatics / Mathematical Informatics
Bachelor's thesis defence: Drawing of PRISM models | Theses on a related topic
Bachelor's thesis defence: Drawing of PRISM models | Theses on a related topic

13.
Omastová, Hedvika
Faculty: Faculty of Science
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Chemistry / Chemistry with a view to Education, Mathematics with a view to Education
Bachelor's thesis defence: Aplikace lineární algebry | Theses on a related topic

14.
Pham, Thanh Trang
Faculty: Faculty of Science
Year: 2017, studies completed, degree conferred: Mgr.
Programme/field: Mathematics / Statistics and Data Analysis
Master's thesis defence: Modely časových řad pro binární a spojitá meterologická data | Theses on a related topic

15.
Rejková, Anna
Faculty: Faculty of Science
Year: 2017, studies completed, degree conferred: Mgr.
Programme/field: Mathematics / Finance Mathematics
Master's thesis defence: Vícestavové modely v zdravotním pojištění | Theses on a related topic

16.
Szczuková, Lenka maiden name: Puczoková
Faculty: Faculty of Science
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: Experimental Biology / Mathematical Biology
Master's thesis defence: Zobecněná syntéza poznatků o účinnosti kolonoskopie při prevenci kolorektálního karcinomu | Theses on a related topic

17.
Vlašín, Marek
Faculty: Faculty of Science
Year: 2017, studies completed, degree conferred: Mgr.
Programme/field: Mathematics / Finance Mathematics
Master's thesis defence: Systémy hromadné obsluhy | Theses on a related topic