( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Solving Patrolling Problems in the Internet Environment.

, , и . IJCAI, стр. 121-127. ijcai.org, (2018)

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

 

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

Characteristic Patterns for LTL., и . SOFSEM, том 3381 из Lecture Notes in Computer Science, стр. 239-249. Springer, (2005)On the Controller Synthesis for Finite-State Markov Decision Processes., и . FSTTCS, том 3821 из Lecture Notes in Computer Science, стр. 541-552. Springer, (2005)Controller Synthesis and Verification for Markov Decision Processes with Qualitative Branching Time Objectives., , и . ICALP (2), том 5126 из Lecture Notes in Computer Science, стр. 148-159. Springer, (2008)How to Parallelize Sequential Processes.. CONCUR, том 1243 из Lecture Notes in Computer Science, стр. 302-316. Springer, (1997)Lowness for The Class of Random Sets., и . J. Symb. Log., 64 (4): 1396-1402 (1999)Deciding probabilistic bisimilarity over infinite-state probabilistic systems., , и . Acta Inf., 45 (2): 131-154 (2008)Synthesizing Efficient Solutions for Patrolling Problems in the Internet Environment., , и . CoRR, (2018)Qualitative Reachability in Stochastic BPA Games, , , и . CoRR, (2010)Strategy Synthesis for General Deductive Games Based on SAT Solving., и . CoRR, (2014)Continuous-Time Stochastic Games with Time-Bounded Reachability., , , , и . FSTTCS, том 4 из LIPIcs, стр. 61-72. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2009)