Práce na stejné téma (mají shodná klíčová slova):
buchiho automatyKlíčová slova abecedně | Klíčová slova dle četnosti
API pro monitorování chování programů v kontextu nástroje DIVINE
(Tadeáš Kučera)2019, Diplomová práce, Přírodovědecká fakulta / Masarykova univerzita
• https://is.muni.cz/th/ay7v9/ | Matematika / Matematika s informatikou | Práce na příbuzné téma
Simple Complementation of Generalized Büchi Automata
(David Dokoupil)2023, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/s2a5u/ | Informatika / | Práce na příbuzné téma
Mapping the Omega-Automata Jungle
(Tomáš Macháček)2022, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/apu9o/ | Informatika / | Práce na příbuzné téma
Transformation of Nondeterministic Büchi Automata to Tight Automata
(Marek Jankola)2021, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/o0p4b/ | Informatika / Matematická informatika | Práce na příbuzné téma
Counter Automata for MTL over Untimed Words
(Tereza Kinská)2023, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/vp4m8/ | Informatika / | Práce na příbuzné téma
Refined Büchi automata for faster model checking
(Vojtěch Rujbr)2016, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/nanqw/ | Aplikovaná informatika / | 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
Semi-Determinization of Omega-Automata
(Mikuláš Klokočka)2017, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/c9v0s/ | Informatika / Matematická informatika | Práce na příbuzné téma
Controller Synthesis for Markov Decision Processes with Branching - Time Objectives
(Vojtěch Forejt)2009, Disertační práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/yvwbl/ | Informatika (čtyřleté) / Informatika | Práce na příbuzné téma
Verification of probabilistic systems against quantified linear properties
(Jana Tůmová)2009, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/jjupx/ | Informatika / | Práce na příbuzné téma