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

  Článek v odborném periodiku

  ACM SIGLOG News, rok: 2021, ročník: 8, vydání: 4, DOI

• Deciding Polynomial Termination Complexity for VASS Programs

  AJDARÓW Michal KUČERA Antonín

  Článek ve sborníku

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

• Regstar: Efficient Strategy Synthesis for Adversarial Patrolling Games

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

  Článek ve sborníku

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

• The Satisfiability Problem for a Quantitative Fragment of PCTL

  CHODIL Miroslav KUČERA Antonín

  Článek ve sborníku

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

2020

• Adversarial Patrolling with Drones

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

  Článek ve sborníku

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

• Efficient Analysis of VASS Termination Complexity

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

  Článek ve sborníku

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

• Checking Qualitative Liveness Properties of Replicated Systems with Stochastic Scheduling

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

  Článek ve sborníku

  Computer Aided Verification, CAV 2020, rok: 2020

2019

• Deciding Fast Termination for Probabilistic VASS with Nondeterminism

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

  Článek ve sborníku

  Automated Technology for Verification and Analysis - 17th International Symposium, ATVA 2019, Proceedings, rok: 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

  Článek v odborném periodiku

  ACM Transactions on Modeling and Computer Simulation (TOMACS), rok: 2019, ročník: 29, vydání: 4, DOI

2018

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

  KUČERA Antonín MAYR Richard

  Článek v odborném periodiku

  Journal of Computer and System Sciences, rok: 2018, ročník: 91, vydání: 1, DOI