česky | in English
Název česky: Rozhodnutelnost pravděpodobnostní bisimulační ekvivalence pro systémy s nekonečně mnoha stavy
RIV/00216224:14330/08:00025864 Článek v odborném periodiku. Informatika. angličtina. Německo.
Brázdil, Tomáš (203 Česká republika) -- Kučera, Antonín (203 Česká republika, garant) -- Stražovský, Oldřich (203 Česká republika)
Klíčová slova anglicky: probabilistic bisimilarity; infinite-state systems
Mezinárodní význam: ano
Recenzováno: ano
Změnil: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Změněno: 22. 5. 2009 15:10.
Název česky: Algoritmická syntéza řídících jednotek pro konečné Markovovy rozhodovací procesy
RIV/00216224:14330/08:00025760 Článek v odborném periodiku. Informatika. angličtina. Nizozemské království.
Kučera, Antonín (203 Česká republika, garant) -- Stražovský, Oldřich (203 Česká republika)
Klíčová slova anglicky: Markov decision process; temporal logic
Mezinárodní význam: ano
Recenzováno: ano
Změnil: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Změněno: 22. 5. 2009 15:13.
Název česky: O syntéze řídících jednotek pro Markovovy rozhodovací procesy s konečně mnoha stavy
RIV/00216224:14330/05:00012780 Stať ve sborníku. Informatika. angličtina. Spojené státy.
Kučera, Antonín (203 Česká republika, garant) -- Stražovský, Oldřich (203 Česká republika)
Klíčová slova anglicky: Controller Synthesis; Markov Decision Processes
Druh sborníku: postkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Změněno: 30. 3. 2010 20:22.
Název česky: O rozhodnutelnosti temporálních vlastností zásobníkových automatů
RIV/00216224:14330/05:00012349 Stať ve sborníku. Informatika. angličtina. Německo.
Brázdil, Tomáš (203 Česká republika) -- Kučera, Antonín (203 Česká republika, garant) -- Stražovský, Oldřich (203 Česká republika)
Klíčová slova anglicky: probabilistic pushdown automata; probabilistic temporal logics
Změnil: doc. RNDr. Tomáš Brázdil, Ph.D., učo 4074. Změněno: 13. 2. 2006 12:42.
Název česky: Rozhodnutelnost pravděpodobnostní bisimulace pro nekonečně-stavové pravděpodobnostní systémy
RIV/00216224:14330/04:00010251 Stať ve sborníku. Informatika. angličtina. Německo.
Brázdil, Tomáš (203 Česká republika) -- Kučera, Antonín (203 Česká republika, garant) -- Stražovský, Oldřich (203 Česká republika)
Klíčová slova anglicky: probabilistic bisimilarity; probabilistic systems
Změnil: doc. RNDr. Tomáš Brázdil, Ph.D., učo 4074. Změněno: 4. 2. 2005 15:02.