( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
On the Decidability of Temporal Properties of Probabilistic Pushdown Automata.

, , и . STACS, том 3404 из Lecture Notes in Computer Science, стр. 145-157. Springer, (2005)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Oldrich Havelka

Oldrich Sova

Oldrich Bureš

 

Другие публикации лиц с тем же именем

Deciding Probabilistic Bisimilarity Over Infinite-State Probabilistic Systems., , и . CONCUR, том 3170 из Lecture Notes in Computer Science, стр. 193-208. Springer, (2004)On the Controller Synthesis for Finite-State Markov Decision Processes., и . Fundam. Informaticae, 82 (1-2): 141-153 (2008)Deciding probabilistic bisimilarity over infinite-state probabilistic systems., , и . Acta Inf., 45 (2): 131-154 (2008)On the Controller Synthesis for Finite-State Markov Decision Processes., и . FSTTCS, том 3821 из Lecture Notes in Computer Science, стр. 541-552. Springer, (2005)On the Decidability of Temporal Properties of Probabilistic Pushdown Automata., , и . STACS, том 3404 из Lecture Notes in Computer Science, стр. 145-157. Springer, (2005)