3 papers
cs.AI2024
Multiple Mean-Payoff Optimization under Local Stability Constraints
David Klaška, Antonín Kučera, Vojtěch Kůr +2
The long-run average payoff per transition (mean payoff) is the main tool for specifying the performance and dependability properties of discrete systems. The problem of constructi…
cs.MA2023
Synthesizing Resilient Strategies for Infinite-Horizon Objectives in Multi-Agent Systems
David Klaška, Antonín Kučera, Martin Kurečka +3
We consider the problem of synthesizing resilient and stochastically stable strategies for systems of cooperating agents striving to minimize the expected time between consecutive…
cs.GT2023
Mean Payoff Optimization for Systems of Periodic Service and Maintenance
David Klaška, Antonín Kučera, Vít Musil +1
Consider oriented graph nodes requiring periodic visits by a service agent. The agent moves among the nodes and receives a payoff for each completed service task, depending on the…