Zpět na vyhledávání

Theses on the same topic (having an identical keyword):

algoritmická teorie her

Keywords ordered alphabetically | Keywords ordered by occurrence rate

« 1 2 » (total: 18 theses)
Algoritmická analýza bezpečnostních her
 (Tomáš Lamser)

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

https://is.muni.cz/th/qmxvj/ | Informatika / Matematická informatika | Theses on a related topic

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 | Theses on a related topic

Markov Decision Processes with Multiple Resource Constraints
 (Jaroslav Pospíšek)

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

https://is.muni.cz/th/cko6q/ | Informatika / | Theses on a related topic

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 / | Theses on a related topic

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 | Theses on a related topic

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 | Theses on a related topic

Modeling and Verification of Infinite-State Reactive Systems
 (Petr Novotný)

2012, Rigorózní práce, Fakulta informatiky / Masarykova univerzita

https://is.muni.cz/th/kc7zm/ | Informatika / | Theses on a related topic

Quantitative Linear-Time Model Checking
 (Jana Tůmová)

2010, Rigorózní práce, Fakulta informatiky / Masarykova univerzita

https://is.muni.cz/th/foeea/ | Informatika / | Theses on a related topic

Toward an Automated Feedback System in Educational Cybersecurity Games
 (Valdemar Švábenský)

2019, Rigorózní práce, Fakulta informatiky / Masarykova univerzita

https://is.muni.cz/th/ckc8w/ | Informatika / | Theses on a related topic

Extending Model-Based Projection with Invertibility Conditions
 (Tomáš Macháček)

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

https://is.muni.cz/th/hq5tp/ | Teoretická informatika / Formální analýza počítačových systémů | Theses on a related topic

« 1 2 » (total: 18 theses)