David Klaška

3 papers in the IJCAI proceedings

IJCAI 2023

Mean Payoff Optimization for Systems of Periodic Service and Maintenance

with Antonín Kučera, Vít Musil, Vojtěch Řehák

doi:10.24963/ijcai.2023/598

Details PDF

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

with Antonín Kučera, Martin Kurečka, Vít Musil, Petr Novotný, Vojtěch Řehák

doi:10.24963/ijcai.2023/20

Details PDF

IJCAI 2022

General Optimization Framework for Recurrent Reachability Objectives

with Antonin Kucera, Vit Musil, Vojtech Rehak

doi:10.24963/ijcai.2022/644

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings