David Klaska - RankMe

22 papers A* 6A 5Journal 10Unranked 1

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