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

2018

• Automatic Synthesis of Efficient Regular Strategies in Adversarial Patrolling Games

  KLAŠKA David KUČERA Antonín LAMSER Tomáš ŘEHÁK Vojtěch

  Article in Proceedings

  Proceedings of the 2018 International Conference on Autonomous Agents & Multiagent Systems, year: 2018

• Black Ninjas in the Dark: Formal Analysis of Population Protocols

  BLONDIN Michael ESPARZA Javier JAAX Stefan KUČERA Antonín

  Article in Proceedings

  2018 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), year: 2018

• Efficient Algorithms for Asymptotic Bounds on Termination Time in VASS

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

  Article in Proceedings

  2018 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), year: 2018

• Solving Patrolling Problems in the Internet Environment

  BRÁZDIL Tomáš KUČERA Antonín ŘEHÁK Vojtěch

  Article in Proceedings

  Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI 2018, July 13-19, 2018, Stockholm, Sweden., year: 2018

2017

• Mean-Payoff Optimization in Continuous-Time Markov Chains with Parametric Alarms

  BAIER Christel DUBSLAFF Clemens KORENČIAK Ľuboš KUČERA Antonín ŘEHÁK Vojtěch

  Article in Proceedings

  Quantitative Evaluation of Systems, year: 2017

• Synthesis of Optimal Resilient Control Strategies

  BAIER Christel DUBSLAFF Clemens KORENČIAK Ľuboš KUČERA Antonín ŘEHÁK Vojtěch

  Article in Proceedings

  Automated Technology for Verification and Analysis, year: 2017

• Trading performance for stability in Markov decision processes

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

  Article in Periodical

  Journal of Computer and System Sciences, year: 2017, volume: 84, edition: 2017, DOI

2016

• Efficient Timeout Synthesis in Fixed-Delay CTMC Using Policy Iteration

  KORENČIAK Ľuboš KUČERA Antonín ŘEHÁK Vojtěch

  Article in Proceedings

  2016 IEEE 24th International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems, year: 2016

• Optimizing the Expected Mean Payoff in Energy Markov Decision Processes

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

  Article in Proceedings

  Automated Technology for Verification and Analysis - 14th International Symposium, ATVA 2016, year: 2016

• Regular Strategies and Strategy Improvement: Efficient Tools for Solving Large Patrolling Problems

  KUČERA Antonín LAMSER Tomáš

  Article in Proceedings

  Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems, year: 2016