Efficient Controller Synthesis for Consumption Games with Multiple Resource Types
Abstract elided by the publisher.
Related papers
- Qualitative Controller Synthesis for Consumption Markov Decision Processes CAV 2020
- Geometry of synthesis III: resource management through type inference POPL 2011
- Resource-guided program synthesis PLDI 2019
- Strategy Synthesis for Stochastic Games with Multiple Long-Run Objectives TACAS 2015
- Modular Attractor Acceleration in Infinite-State Games TACAS 2026
- Minimizing Running Costs in Consumption Systems CAV 2014
- Hybrid Game Control Envelope Synthesis OOPSLA 2026
- Non-Zero-Sum Games with Multiple Weighted Objectives TACAS 2025