3 papers
cs.AI2026
Memory Assignment for Finite-Memory Strategies in Adversarial Patrolling Games
VojtÄch Kůr, VÃt Musil, VojtÄch Åehák
Adversarial Patrolling games form a subclass of Security games where a Defender moves between locations, guarding vulnerable targets. The main algorithmic problem is constructing a…
cs.RO2026
Differentiable Simulation of Hard Contacts with Soft Gradients for Learning and Control
Anselm Paulus, A. René Geist, Pierre Schumacher +3
Contact forces introduce discontinuities into robot dynamics that severely limit the use of simulators for gradient-based optimization. Penalty-based simulators such as MuJoCo, sof…
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…