Two papers at IJCAI'23!

24 Apr 2023

No description

Exciting news! Two of our research papers have been accepted at the IJCAI'23 conference. 

The paper "Mean Payoff Optimization for Systems of Periodic Service & Maintenance" by D. Klaška, A. Kučera, V. Musil, and V. Řehák tackles the challenge of maximizing the long-run average payoff for agents performing periodic maintenance tasks. It performs a thorough theoretical analysis of the problem proposes efficient algorithms for constructing compact randomized maintenance schedules.

The paper "Synthesizing Resilient Strategies for Infinite-Horizon Objectives in Multi-Agent Systems" by D. Klaška, A. Kučera, M. Kurečka, V. Musil, P. Novotný and V. Řehák presents a novel specification language & strategy synthesis algorithm for creating resilient & stochastically stable strategy profiles in cooperative systems, with applications in patrolling and periodic maintenance.

More articles

All articles

You are running an old browser version. We recommend updating your browser to its latest version.

More info