Vít Musil

3 papers in the IJCAI proceedings

IJCAI 2023

Mean Payoff Optimization for Systems of Periodic Service and Maintenance

with David Klaška, Antonín Kučera, Vojtěch Řehák

doi:10.24963/ijcai.2023/598

Details PDF

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

with David Klaška, Antonín Kučera, Martin Kurečka, Petr Novotný, Vojtěch Řehák

doi:10.24963/ijcai.2023/20

Details PDF

IJCAI 2022

General Optimization Framework for Recurrent Reachability Objectives

with David Klaska, Antonin Kucera, Vojtech Rehak

doi:10.24963/ijcai.2022/644

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings