David Klaska

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 18

Top Topics

Changing Environment

Markov Decision Process

Infinite Horizon

Top Venues

Publications

David Klaska, Antonín Kucera, Vojtech Kur, Vít Musil, Vojtech Rehák
Optimizing Local Satisfaction of Long-Run Average Objectives in Markov Decision Processes. AAAI (2024)
David Klaska, Antonín Kucera, Martin Kurecka, Vít Musil, Petr Novotný, Vojtech Rehák
Synthesizing Resilient Strategies for Infinite-Horizon Objectives in Multi-Agent Systems. CoRR (2023)
David Klaska, Antonín Kucera, Vít Musil, Vojtech Rehák
Mean Payoff Optimization for Systems of Periodic Service and Maintenance. IJCAI (2023)
David Klaska, Antonín Kucera, Martin Kurecka, Vít Musil, Petr Novotný, Vojtech Rehák
Synthesizing Resilient Strategies for Infinite-Horizon Objectives in Multi-Agent Systems. IJCAI (2023)
David Klaska, Antonín Kucera, Vojtech Kur, Vít Musil, Vojtech Rehák
Optimizing Local Satisfaction of Long-Run Average Objectives in Markov Decision Processes. CoRR (2023)
David Klaska, Antonín Kucera, Vít Musil, Vojtech Rehák
Mean Payoff Optimization for Systems of Periodic Service and Maintenance. CoRR (2023)
David Klaska, Antonín Kucera, Vít Musil, Vojtech Rehák
Minimizing Expected Intrusion Detection Time in Adversarial Patrolling. AAMAS (2022)
David Klaska, Antonín Kucera, Vít Musil, Vojtech Rehák
Minimizing Expected Intrusion Detection Time in Adversarial Patrolling. CoRR (2022)
David Klaska, Antonín Kucera, Vít Musil, Vojtech Rehák
General Optimization Framework for Recurrent Reachability Objectives. CoRR (2022)
Tomás Brázdil, David Klaska, Antonín Kucera, Vít Musil, Petr Novotný, Vojtech Rehák
On-the-fly adaptation of patrolling strategies in changing environments. UAI (2022)
Tomás Brázdil, David Klaska, Antonín Kucera, Vít Musil, Petr Novotný, Vojtech Rehák
On-the-fly Adaptation of Patrolling Strategies in Changing Environments. CoRR (2022)
David Klaska, Antonín Kucera, Vít Musil, Vojtech Rehák
General Optimization Framework for Recurrent Reachability Objectives. IJCAI (2022)
David Klaska, Antonín Kucera, Vít Musil, Vojtech Rehák
Regstar: Efficient Strategy Synthesis for Adversarial Patrolling Games. CoRR (2021)
Marek Chalupa, David Klaska, Jan Strejcek, Lukás Tomovic
Fast Computation of Strong Control Dependencies. CAV (2) (2021)
David Klaska, Antonín Kucera, Vít Musil, Vojtech Rehák
Regstar: efficient strategy synthesis for adversarial patrolling games. UAI (2021)
David Klaska, Antonín Kucera, Vojtech Rehák
Adversarial Patrolling with Drones. AAMAS (2020)
Marek Chalupa, David Klaska, Jan Strejcek, Lukás Tomovic
Fast Computation of Strong Control Dependencies. CoRR (2020)
David Klaska, Antonín Kucera, Tomás Lamser, Vojtech Rehák
Automatic Synthesis of Efficient Regular Strategies in Adversarial Patrolling Games. AAMAS (2018)
Tomás Brázdil, David Klaska, Antonín Kucera, Petr Novotný
Minimizing Running Costs in Consumption Systems. CoRR (2014)
Tomás Brázdil, David Klaska, Antonín Kucera, Petr Novotný
Minimizing Running Costs in Consumption Systems. CAV (2014)