( en | de | ru )

 

Disambiguation of "Kucera, Antonín"

Author of the publication

copydeleteadd this publication to your clipboard
Solving adversarial patrolling games with bounded error: (extended abstract).

, , , , , and . AAMAS, page 1617-1618. IFAAMAS/ACM, (2014)

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. You can also use the button next to the name to display some publications already assigned to the person.

Antonín Skalický

Antonín Hoffmann

Antonín Ku era

Wolfgang Kucera

Antonin Eigel

 

Other publications of authors with the same name

Deciding Fast Termination for Probabilistic VASS with Nondeterminism., , , , and . ATVA, volume 11781 of Lecture Notes in Computer Science, page 462-478. Springer, (2019)Minimizing Running Costs in Consumption Systems., , , and . CAV, volume 8559 of Lecture Notes in Computer Science, page 457-472. Springer, (2014)On the Decidability of Temporal Properties of Probabilistic Pushdown Automata., , and . STACS, volume 3404 of Lecture Notes in Computer Science, page 145-157. Springer, (2005)Branching-time model-checking of probabilistic pushdown automata., , , and . J. Comput. Syst. Sci., 80 (1): 139-156 (2014)Approximating the termination value of one-counter MDPs and stochastic games., , , and . Inf. Comput., (2013)Lowness for The Class of Random Sets., and . J. Symb. Log., 64 (4): 1396-1402 (1999)Deciding probabilistic bisimilarity over infinite-state probabilistic systems., , and . Acta Inf., 45 (2): 131-154 (2008)Synthesizing Efficient Solutions for Patrolling Problems in the Internet Environment., , and . CoRR, (2018)Qualitative Reachability in Stochastic BPA Games, , , and . CoRR, (2010)Strategy Synthesis for General Deductive Games Based on SAT Solving., and . CoRR, (2014)