Práce na stejné téma (mají shodná klíčová slova):
buchi objectiveKlíčová slova abecedně | Klíčová slova dle četnosti
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
Basic Model Checking Problems for Stochastic Games
(Václav Brožek)2009, Disertační práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/z54av/ | Informatika (čtyřleté) / Informatika | Práce na příbuzné téma
Paralelní verifikace LTL(F,G) vlastností
(Jitka Kudrnáčová)2008, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/qanl7/ | Informatika / Paralelní a distribuované systémy | Práce na příbuzné téma
Decidability and complexity of infinite-state stochastic games
(Václav Brožek)2007, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/jsiqw/ | Informatika / | Práce na příbuzné téma