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

2024

• Optimizing Local Satisfaction of Long-Run Average Objectives in Markov Decision Processes

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

  Article in Proceedings

  Proceedings of 38th Annual AAAI Conference on Artificial Intelligence (AAAI 2024), year: 2024

• The Finite Satisfiability Problem for PCTL is Undecidable

  CHODIL Miroslav KUČERA Antonín

  Article in Proceedings

  Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, year: 2024

• The satisfiability problem for a quantitative fragment of PCTL

  CHODIL Miroslav KUČERA Antonín

  Article in Periodical

  Journal of Computer and System Sciences, year: 2024, volume: 139, edition: 103478, DOI

2023

• Asymptotic Complexity Estimates for Probabilistic Programs and their VASS Abstractions

  AJDARÓW Michal KUČERA Antonín

  Article in Proceedings

  34th International Conference on Concurrency Theory (CONCUR 2023), year: 2023

• Mean Payoff Optimization for Systems of Periodic Service and Maintenance

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

  Article in Proceedings

  Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, IJCAI 2023,, year: 2023

• Synthesizing Resilient Strategies for Infinite-Horizon Objectives in Multi-Agent Systems

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

  Article in Proceedings

  Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, IJCAI 2023,, year: 2023

2022

• General Optimization Framework for Recurrent Reachability Objectives

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

  Article in Proceedings

  Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, IJCAI 2022, year: 2022

• Minimizing Expected Intrusion Detection Time in Adversarial Patrolling

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

  Article in Proceedings

  21st International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2022., year: 2022

• On-the-fly Adaptation of Patrolling Strategies in Changing Environments

  BRÁZDIL Tomáš KLAŠKA David KUČERA Antonín MUSIL Vít NOVOTNÝ Petr ŘEHÁK Vojtěch

  Article in Proceedings

  Proceedings of the Thirty-Eighth Conference on Uncertainty in Artificial Intelligence, UAI 2022, year: 2022

• Satisfiability of Quantitative Probabilistic CTL: Rise to the Challenge

  CHODIL Miroslav KUČERA Antonín KŘETÍNSKÝ Jan

  Article in Proceedings

  Principles of Systems Design - Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday, year: 2022