Práce na stejné téma (mají shodná klíčová slova):
mtlKlíčová slova abecedně | Klíčová slova dle četnosti
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
Verifikace za běhu systémů s vlastnostmi v MTL logice
(Ondřej Olšák)2021, Diplomová práce, Vysoké učení technické v Brně
• http://theses.cz/id//92cmm1// | Informační technologie a umělá inteligence / | Práce na příbuzné téma
Tvorba umělých planet
(Jindřich Morávek)2009, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/ypxld/ | Aplikovaná informatika / | Práce na příbuzné téma