2 citations · 2 across the 6 of their papers we have counts for
Showing 2024Show all
2 papers · 1 filter
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.HC2024
Who Let the Guards Out: Visual Support for Patrolling Games
Matěj Lang, Adam Štěpánek, Róbert Zvara +2
Effective security patrol management is critical for ensuring safety in diverse environments such as art galleries, airports, and factories. The behavior of patrols in these situat…