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

continuous-time markov decision processes, stochastic processes, time-bounded reachability, markov decision processes, minimal scheduler, optimal scheduler

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

1.
Komárková, Zuzana
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Unified View on Multiple Mean-Payoff Objectives in Markov Decision Processes | Práce na příbuzné téma Zobrazit popisek

2.
Bíza, Martin
Fakulta: Přírodovědecká fakulta
Rok: 2014, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Matematika / Finanční a pojistná matematika
Obhajoba bakalářské práce: Statistické vlastnosti Poissonova procesu | Práce na příbuzné téma

3.
Bíza, Martin
Fakulta: Přírodovědecká fakulta
Rok: 2017, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Matematika / Finanční matematika
Obhajoba diplomové práce: Modely výskytu událostí, jejich ověření a aplikace | Práce na příbuzné téma

4.
Brožek, Václav
Fakulta: Fakulta informatiky
Rok: 2007, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informatika
Obhajoba diplomové práce: Decidability and complexity of infinite-state stochastic games | Práce na příbuzné téma

5.
Češka, Milan
Fakulta: Fakulta informatiky
Rok: 2008, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informatika
Obhajoba diplomové práce: Parallel Quantitative Analysis of Probabilistic Systems | Práce na příbuzné téma

6.
Čupera, Jakub
Fakulta: Přírodovědecká fakulta
Rok: 2013, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Matematika (čtyřleté) / Pravděpodobnost, statistika a matematické modelování
Obhajoba disertační práce: Stochastic methods in neuroinformatics and pharmacokinetics | Práce na příbuzné téma

7.
Forejt, Vojtěch
Fakulta: Fakulta informatiky
Rok: 2009, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika (čtyřleté) / Informatika
Obhajoba disertační práce: Controller Synthesis for Markov Decision Processes with Branching - Time Objectives | Práce na příbuzné téma

8.
Kapasný, Juraj
Fakulta: Přírodovědecká fakulta
Rok: 2012, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná matematika / Finanční a pojistná matematika
Obhajoba bakalářské práce: Markovské řetězce a stochastické matice | Práce na příbuzné téma

9.
Krčál, Jan
Fakulta: Fakulta informatiky
Rok: 2009, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informatika
Obhajoba diplomové práce: Determinacy and Optimal Strategies in Stochastic Games | Práce na příbuzné téma

10.
Krčál, Jan
Fakulta: Fakulta informatiky
Rok: 2011, studium úspěšně absolvováno, udělen titul: RNDr.
Program/obor Informatika / Informatika
Obhajoba rigorózní práce: Formal Analysis of Stochastic Discrete Event Systems | Práce na příbuzné téma

11.
Křetínský, Jan
Fakulta: Fakulta informatiky
Rok: 2011, studium úspěšně absolvováno, udělen titul: RNDr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba rigorózní práce: Probabilistic Timed Systems with Non-Determinism | Práce na příbuzné téma

12.
Křivánek, Martin
Fakulta: Fakulta informatiky
Rok: 2009, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Probabilistic Extension of Message Sequence Chart | Práce na příbuzné téma

13.
Marek, Jiří
Fakulta: Přírodovědecká fakulta
Rok: 2013, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Matematika / Finanční a pojistná matematika
Obhajoba bakalářské práce: Poissonův proces a jeho aplikace | Práce na příbuzné téma

14.
Nemky, Marek
Fakulta: Ekonomicko-správní fakulta
Rok: 2023, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Finance / Finanční trhy, instituce a technologie
Obhajoba diplomové práce: Empirical evaluation of the accuracy and complexity of continuous-time pricing models | Práce na příbuzné téma

15.
Novotný, Petr
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika (čtyřleté) / Informatika
Obhajoba disertační práce: Controller Synthesis for Resource-Aware Systems | Práce na příbuzné téma

16.
Rajdl, Kamil
Fakulta: Přírodovědecká fakulta
Rok: 2017, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Matematika (čtyřleté) / Pravděpodobnost, statistika a matematické modelování
Obhajoba disertační práce: Statistical inference for stochastic point processes with application on neuronal data | Práce na příbuzné téma

17.
Truongová, Mai Phuong
Fakulta: Přírodovědecká fakulta
Rok: 2017, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Matematika / Finanční matematika
Obhajoba diplomové práce: Matematika neživotního pojištění: teorie a příklady | Práce na příbuzné téma

18.
Tůmová, Jana
Fakulta: Fakulta informatiky
Rok: 2009, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informatika
Obhajoba diplomové práce: Verification of probabilistic systems against quantified linear properties | Práce na příbuzné téma

19.
Vrťo, Peter
Fakulta: Přírodovědecká fakulta
Rok: 2022, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Matematika / Finanční a pojistná matematika
Obhajoba bakalářské práce: Procesy obnovy | Práce na příbuzné téma

20.
Zavadilová, Lenka
Fakulta: Přírodovědecká fakulta
Rok: 2017, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Matematika (čtyřleté) / Pravděpodobnost, statistika a matematické modelování
Obhajoba disertační práce: Stochastické metody analýzy ekonomických dat | Práce na příbuzné téma