Zpět na vyhledávání

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

VASS

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

Algorithmic Asymptotic Analysis of Infinite-Sate Systems
 (Michal Ajdarów)

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

https://is.muni.cz/th/djo4q/ | Teoretická informatika / | 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

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

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

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

Algorithmic Asymptotic Analysis of Infinite-Sate Systems
 (Michal Ajdarów)

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

https://is.muni.cz/th/djo4q/ | Teoretická informatika / | 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

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