Práce na stejné téma (mají shodná klíčová slova):
time-bounded reachabilityKlíčová slova abecedně | Klíčová slova dle četnosti
Formal Analysis of Stochastic Discrete Event Systems
(Jan Krčál)2011, Rigorózní práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/x990g/ | 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