Práce na stejné téma (mají shodná klíčová slova):
mdpKlíčová slova abecedně | Klíčová slova dle četnosti
Sampling Methods for Risk-Averse MDP Solvers
(Václav Nevyhoštěný)2023, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/nlmru/ | Informatika / | Práce na příbuzné téma
Extending the Synthesis Algorithm for Consumption MDPs with LTL Objectives
(Dávid Meluš)2021, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/uwna5/ | Aplikovaná informatika / Bioinformatika | Práce na příbuzné téma
Vacant taxi routing in Markov Decision Process (MDP)
(Nurbulat Shektbayev)2023, Diplomová práce, Provozně ekonomická fakulta / Česká zemědělská univerzita v Praze
• http://theses.cz/id//ubxjky// | Systems Engineering and Informatics / Informatics | Práce na příbuzné téma
Termination Time of Vector Addition Systems with States
(Dominik Velan)2021, Disertační práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/d9zyd/ | Informatika / Fundamenty informatiky | Práce na příbuzné téma
Efficient Verification of Multi-Objective Queries in Markov Decision Processes
(Vít Unčovský)2023, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/as4mz/ | Informatika / | Práce na příbuzné téma
Unified View on Multiple Mean-Payoff Objectives in Markov Decision Processes
(Zuzana Komárková)2015, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/danob/ | Informatika / Paralelní a distribuované systémy | Práce na příbuzné téma
Paralelní ověřování kvalitativních vlastností pravděpodobnostních modelů
(Jana Tůmová)2006, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/n10ay/ | Aplikovaná informatika / | Práce na příbuzné téma
Verification of probabilistic systems against quantified linear properties
(Jana Tůmová)2009, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/jjupx/ | Informatika / | Práce na příbuzné téma