( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
On-the-fly adaptation of patrolling strategies in changing environments.

, , , , , и . UAI, том 180 из Proceedings of Machine Learning Research, стр. 244-254. PMLR, (2022)

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.

Antonín Skalický

Antonín Hoffmann

Antonín Ku era

Wolfgang Kucera

Antonin Eigel

 

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

On Relative Randomness.. Ann. Pure Appl. Log., 63 (1): 61-67 (1993)Deciding Probabilistic Bisimilarity Over Infinite-State Probabilistic Systems., , и . CONCUR, том 3170 из Lecture Notes in Computer Science, стр. 193-208. Springer, (2004)On Homogeneous Segments., , и . TSD, том 2807 из Lecture Notes in Computer Science, стр. 152-157. Springer, (2003)Efficient Analysis of Probabilistic Programs with an Unbounded Counter., , и . CAV, том 6806 из Lecture Notes in Computer Science, стр. 208-224. Springer, (2011)Preface., , , , и . Fundam. Informaticae, (2013)The satisfiability problem for a quantitative fragment of PCTL., и . J. Comput. Syst. Sci., (февраля 2024)Runtime analysis of probabilistic programs with unbounded recursion., , , и . J. Comput. Syst. Sci., 81 (1): 288-310 (2015)Analyzing probabilistic pushdown automata., , , и . Formal Methods in System Design, 43 (2): 124-163 (2013)Preface., и . Theor. Comput. Sci., (2012)A Logical Viewpoint on Process-algebraic Quotients., и . J. Log. Comput., 13 (6): 863-880 (2003)