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

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

• 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