Práce na stejné téma (mají shodná klíčová slova):
synteza kontroleruKlíčová slova abecedně | Klíčová slova dle četnosti
Induktivní syntéza kontrolérů pro POMDP vůči vlastnostem ve stabilním stavu
(Antonín Jarolím)2023, Bakalářská práce, Vysoké učení technické v Brně
• http://theses.cz/id//2kqcf1// | Informační technologie / | Práce na příbuzné téma
Využití protipříkladů v syntéze kontrolerů pro POMDP
(Jakub Frejlach)2023, Diplomová práce, Vysoké učení technické v Brně
• http://theses.cz/id//gqnqlv// | Informační technologie a umělá inteligence / | Práce na příbuzné téma
Vylepšení syntézy kontrolerů pro POMDP s využitím abstrakce a podobnosti.
(Aleksandr Shevchenko)2024, Bakalářská práce, Vysoké učení technické v Brně
• http://theses.cz/id//k9tehg// | Informační technologie / | Práce na příbuzné téma
Induktivní syntéza konečně stavových kontrolérů pro decentralizované POMDP
(Vojtěch Hranička)2024, Diplomová práce, Vysoké učení technické v Brně
• http://theses.cz/id//vtivbi// | Informační technologie a umělá inteligence / | Práce na příbuzné téma
Využití zpětnovazebné učení a induktivní syntézy pro konstukci robustních kontroléru v POMDPs
(David Hudák)2024, Diplomová práce, Vysoké učení technické v Brně
• http://theses.cz/id//uh44dp// | Informační technologie a umělá inteligence / | Práce na příbuzné téma
Optimalizace induktivní syntézy kontrolérů pro POMDP s časově omezenými cenami
(Ondřej Kříž)2023, Bakalářská práce, Vysoké učení technické v Brně
• http://theses.cz/id//leywjm// | Informační technologie / | Práce na příbuzné téma
Vylepšení syntézy konečně stavových kontrolérů pro POMDP
(Filip Macák)2023, Diplomová práce, Vysoké učení technické v Brně
• http://theses.cz/id//1a4tc9// | Informační technologie a umělá inteligence / | Práce na příbuzné téma
Controller Synthesis for Resource-Aware Systems
(Petr Novotný)2015, Disertační práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/m4fqz/ | Informatika (čtyřleté) / Informatika | Práce na příbuzné téma
Translation of Linear Temporal Logic to Omega-Automata
(Tomáš Babiak)2017, Disertační práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/wqhsq/ | Informatika (čtyřleté) / Informatika | Práce na příbuzné téma
Implementace základních DSP algoritmů na digitální signální kontrolér Motorola 56F805\nl{}
(Jaroslav STANČÍK)2008, Bakalářská práce, Fakulta aplikované informatiky / Univerzita Tomáše Bati ve Zlíně
• http://theses.cz/id//xuk8cp// | Inženýrská informatika / Automatické řízení a informatika | Práce na příbuzné téma