Similar Items: Automated Approach for Solving Infinite-state Polynomial Reachability Games
- Verification of Correlated Equilibria in Concurrent Reachability Games
- A Strongly Polynomial Algorithm for Arctic Auctions
- Fast Strategy Solving for the Informed Player in Two-Player Zero-Sum Linear-Quadratic Differential Games with One-Sided Information
- Asymmetric-Information Resource Allocation Games: An LP Approach to Purposeful Deception
- Decentralized Edge Caching under Budget and Storage Constraints: A Game-Theoretic Approach
- Multi-Agent Strategic Games with LLMs