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

memoryless strategy

Keywords ordered alphabetically | Keywords ordered by occurrence rate

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

Decidability and complexity of finite-state stochastic games
 (Vojtěch Forejt)

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

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