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

2021

• Algorithmic Analysis of Termination and Counter Complexity in Vector Addition Systems with States: A Survey of Recent Results

  KUČERA Antonín

  Article in Periodical

  ACM SIGLOG News, year: 2021, volume: 8, edition: 4, DOI

• Deciding Polynomial Termination Complexity for VASS Programs

  AJDARÓW Michal KUČERA Antonín

  Article in Proceedings

  32nd International Conference on Concurrency Theory (CONCUR 2021), year: 2021

• Regstar: Efficient Strategy Synthesis for Adversarial Patrolling Games

  KLAŠKA David KUČERA Antonín ŘEHÁK Vojtěch MUSIL Vít

  Article in Proceedings

  Proceedings of 37th Conference on Uncertainty in Artificial Intelligence (UAI 2021), year: 2021

• The Satisfiability Problem for a Quantitative Fragment of PCTL

  CHODIL Miroslav KUČERA Antonín

  Article in Proceedings

  Fundamentals of Computation Theory. 23rd International Symposium, FCT 2021, year: 2021

2020

• Adversarial Patrolling with Drones

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

  Article in Proceedings

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

• Efficient Analysis of VASS Termination Complexity

  KUČERA Antonín LEROUX Jérôme VELAN Dominik

  Article in Proceedings

  LICS '20: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science, year: 2020

• Checking Qualitative Liveness Properties of Replicated Systems with Stochastic Scheduling

  BLONDIN Michael ESPARZA Javier HELFRICH Martin KUČERA Antonín MEYER Philipp

  Article in Proceedings

  Computer Aided Verification, CAV 2020, year: 2020

2019

• Deciding Fast Termination for Probabilistic VASS with Nondeterminism

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

  Article in Proceedings

  Automated Technology for Verification and Analysis - 17th International Symposium, ATVA 2019, Proceedings, year: 2019

• 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 Periodical

  ACM Transactions on Modeling and Computer Simulation (TOMACS), year: 2019, volume: 29, edition: 4, DOI

2018

• A generic framework for checking semantic equivalences between pushdown automata and finite-state automata

  KUČERA Antonín MAYR Richard

  Article in Periodical

  Journal of Computer and System Sciences, year: 2018, volume: 91, edition: 1, DOI