prof. RNDr. Antonín Kučera, Ph.D.

2014

• Solving adversarial patrolling games with bounded error: (extended abstract)

  ABAFFY Michal BRÁZDIL Tomáš ŘEHÁK Vojtěch BOŠANSKÝ Branislav KUČERA Antonín KRČÁL Jan

  Article in Proceedings

  Proceedings of the 13th International Conference on Autonomous Agents and Multiagent Systems (AAMAS'14), year: 2014

• Zero-reachability in probabilistic multi-counter automata

  BRÁZDIL Tomáš KIEFER Stefan KUČERA Antonín NOVOTNÝ Petr KATOEN Joost-Pieter

  Article in Proceedings

  Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), year: 2014

2013

• Analyzing probabilistic pushdown automata

  BRÁZDIL Tomáš ESPARZA Javier KIEFER Stefan KUČERA Antonín

  Article in Periodical

  Formal Methods in System Design, year: 2013, volume: 43, edition: 2, DOI

• Approximating the termination value of one-counter MDPs and stochastic games

  BRÁZDIL Tomáš BROŽEK Václav ETESSAMI Kousha KUČERA Antonín

  Article in Periodical

  Information and Computation, year: 2013, volume: 222, edition: January, DOI

• Continuous-Time Stochastic Games with Time-Bounded Reachability

  BRÁZDIL Tomáš FOREJT Vojtěch KRČÁL Jan KŘETÍNSKÝ Jan KUČERA Antonín

  Article in Periodical

  Information and Computation, year: 2013, volume: 224, edition: 1, DOI

• Determinacy in Stochastic Games with Unbounded Payoff Functions

  BRÁZDIL Tomáš KUČERA Antonín NOVOTNÝ Petr

  Article in Proceedings

  Mathematical and Engineering Methods in Computer Science (MEMICS 2012), year: 2013

• Trading Performance for Stability in Markov Decision Processes

  BRÁZDIL Tomáš CHATTERJEE Krishnendu FOREJT Vojtěch KUČERA Antonín

  Article in Proceedings

  Proceedings of 28th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2013), year: 2013

2012

• 8th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science

  KUČERA Antonín HENZINGER Thomas A. NEŠETŘIL Jaroslav VOJNAR Tomáš ANTOŠ David

  Year: 2012, type:

• Efficient Controller Synthesis for Consumption Games with Multiple Resource Types

  BRÁZDIL Tomáš CHATTERJEE Krishnendu KUČERA Antonín NOVOTNÝ Petr

  Article in Proceedings

  Computer Aided Verification - 24th International Conference, CAV 2012, year: 2012

• Minimizing Expected Termination Time in One-Counter Markov Decision Processes

  BRÁZDIL Tomáš KUČERA Antonín NOVOTNÝ Petr WOJTCZAK Dominik

  Article in Proceedings

  Proceedings of 39th International Colloquium on Automata, Languages and Programming (ICALP 2012), year: 2012