JAROLÍM, Antonín. \textit{Induktivní syntéza kontrolérů pro POMDP vůči vlastnostem ve stabilním stavu}. Online. Bakalářská práce. Brno: Vysoké učení technické v Brně. 2023. Dostupné z: https://theses.cz/id/2kqcf1/.
JAROLÍM, Antonín. <i>Induktivní syntéza kontrolérů pro POMDP vůči vlastnostem ve stabilním stavu</i>. Online. Bakalářská práce. Brno: Vysoké učení technické v Brně. 2023. Dostupné z: https://theses.cz/id/2kqcf1/.
JAROLÍM, Antonín. Induktivní syntéza kontrolérů pro POMDP vůči vlastnostem ve stabilním stavu. Online. Bakalářská práce. Brno: Vysoké učení technické v Brně. 2023. Dostupné z: https://theses.cz/id/2kqcf1/.
@misc{Jarolim2023thesis,
AUTHOR = "Jarolím, Antonín",
TITLE = "Induktivní syntéza kontrolérů pro POMDP vůči vlastnostem ve stabilním stavu [online]",
YEAR = "2023 [cit. 2024-09-28]",
TYPE = "Bakalářská práce",
SCHOOL = "Vysoké učení technické v BrněBrno",
NOTE = "SUPERVISOR: ",
URL = "https://theses.cz/id/2kqcf1/",
}
@misc{Jarolim2023thesis,
AUTHOR = {Jarolím, Antonín},
TITLE = {Induktivní syntéza kontrolérů pro POMDP vůči vlastnostem ve stabilním stavu},
YEAR = {2023},
TYPE = {Bakalářská práce},
INSTITUTION = {Vysoké učení technické v Brně},
LOCATION = {Brno},
SUPERVISOR = {},
URL = {https://theses.cz/id/2kqcf1/},
URL_DATE = {2024-09-28},
}
{{Citace kvalifikační práce
| příjmení = Jarolím
| jméno = Antonín
| instituce = Vysoké učení technické v Brně
| titul = Induktivní syntéza kontrolérů pro POMDP vůči vlastnostem ve stabilním stavu
| url = https://theses.cz/id/2kqcf1/
| typ práce = Bakalářská práce
| vedoucí =
| rok = 2023
| počet stran =
| strany =
| citace = 2024-09-28
| poznámka =
| jazyk =
}}