Zpět na vyhledávání

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

controller synthesis

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

« 1 2 3 » (celkem 25 prací)
Markovovy rozhodovací procesy s neúplnou informací a omezenými zdroji
 (Michal Ajdarów)

2019, Diplomová práce, Fakulta informatiky / Masarykova univerzita

https://is.muni.cz/th/t7d39/ | Informatika / Teoretická informatika | Práce na příbuzné téma

Reinforcement Learning of Risk-Averse Policies in Markov Decision Processes
 (Jiří Vahala)

2019, Diplomová práce, Fakulta informatiky / Masarykova univerzita

https://is.muni.cz/th/gv8zz/ | Informatika / Umělá inteligence a zpracování přirozeného jazyka | Práce na příbuzné téma

Synthesizing Resource-Shielded Policies for Partially Observable Markov Decision Processes
 (Šimon Brlej)

2022, Bakalářská práce, Fakulta informatiky / Masarykova univerzita

https://is.muni.cz/th/hvby2/ | Informatika / Umělá inteligence a zpracování přirozeného jazyka | Práce na příbuzné téma

Pareto Front Estimation in Risk-Constrained Markov Decision Processes
 (Martin Kurečka)

2023, Diplomová práce, Fakulta informatiky / Masarykova univerzita

https://is.muni.cz/th/mcgrs/ | Teoretická informatika / Diskrétní algoritmy a modely | 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

Monte Carlo Tree Search in Verification of Markov Decision Processes
 (Ondřej Slámečka)

2017, Diplomová práce, Fakulta informatiky / Masarykova univerzita

https://is.muni.cz/th/axlhf/ | Informatika / Teoretická informatika | Práce na příbuzné téma

Synthesis of Minimal Schedulers for Markov Decision Processes
 (Miroslav Klimoš)

2012, Bakalářská práce, Fakulta informatiky / Masarykova univerzita

https://is.muni.cz/th/isl54/ | Informatika / Matematická informatika | Práce na příbuzné téma

Controller Synthesis for Markov Decision Processes with Branching - Time Objectives
 (Vojtěch Forejt)

2009, Disertační práce, Fakulta informatiky / Masarykova univerzita

https://is.muni.cz/th/yvwbl/ | Informatika (čtyřleté) / Informatika | Práce na příbuzné téma

Controller Synthesis for Resource-Aware Systems
 (Petr Novotný)

2015, Disertační práce, Fakulta informatiky / Masarykova univerzita

https://is.muni.cz/th/m4fqz/ | Informatika (čtyřleté) / Informatika | Práce na příbuzné téma

« 1 2 3 » (celkem 25 prací)