RNDr. David Klaška

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

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

2021

• Fast Computation of Strong Control Dependencies

  CHALUPA Marek KLAŠKA David STREJČEK Jan TOMOVIČ Lukáš

  Article in Proceedings

  Computer Aided Verification - 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II, 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

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

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