RNDr. David Klaška
Katedra teorie programování
| e‑mail: |
|
|---|
Publikace
Počet publikací: 11
2024
-
Optimizing Local Satisfaction of Long-Run Average Objectives in Markov Decision Processes
Proceedings of 38th Annual AAAI Conference on Artificial Intelligence (AAAI 2024), rok: 2024
2023
-
Mean Payoff Optimization for Systems of Periodic Service and Maintenance
Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, IJCAI 2023,, rok: 2023
-
Synthesizing Resilient Strategies for Infinite-Horizon Objectives in Multi-Agent Systems
Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, IJCAI 2023,, rok: 2023
2022
-
General Optimization Framework for Recurrent Reachability Objectives
Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, IJCAI 2022, rok: 2022
-
Minimizing Expected Intrusion Detection Time in Adversarial Patrolling
21st International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2022., rok: 2022
-
On-the-fly Adaptation of Patrolling Strategies in Changing Environments
Proceedings of the Thirty-Eighth Conference on Uncertainty in Artificial Intelligence, UAI 2022, rok: 2022
2021
-
Fast Computation of Strong Control Dependencies
Computer Aided Verification - 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II, rok: 2021
-
Regstar: Efficient Strategy Synthesis for Adversarial Patrolling Games
Proceedings of 37th Conference on Uncertainty in Artificial Intelligence (UAI 2021), rok: 2021
2020
-
Adversarial Patrolling with Drones
Proceedings of the 2020 International Conference on Autonomous Agents & Multiagent Systems, rok: 2020
2018
-
Automatic Synthesis of Efficient Regular Strategies in Adversarial Patrolling Games
Proceedings of the 2018 International Conference on Autonomous Agents & Multiagent Systems, rok: 2018