Cover Image

Quantitative Strategy Templates

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Anand, Ashwani, Nayak, Satya Prakash, Raha, Ritam, Sağlam, Irmak, Schmuck, Anne-Kathrin
Format:	Preprint
Published:	2025
Subjects:	Computer Science and Game Theory
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Fair Quantitative Games
by: Anand, Ashwani, et al.
Published: (2025)

Synthesizing Permissive Winning Strategy Templates for Parity Games
by: Anand, Ashwani, et al.
Published: (2023)

Contract-Based Distributed Synthesis in Two-Objective Parity Games
by: Anand, Ashwani, et al.
Published: (2023)

Solving Two-Player Games under Progress Assumptions
by: Schmuck, Anne-Kathrin, et al.
Published: (2023)

Concurrent Permissive Strategy Templates
by: Anand, Ashwani, et al.
Published: (2026)

Computing Adequately Permissive Assumptions for Synthesis
by: Anand, Ashwani, et al.
Published: (2023)

Most General Winning Secure Equilibria Synthesis in Graph Games
by: Nayak, Satya Prakash, et al.
Published: (2024)

Incremental Data-Driven Policy Synthesis via Game Abstractions
by: Sağlam, Irmak, et al.
Published: (2025)

Follow the STARs: Dynamic $ω$-Regular Shielding of Learned Policies
by: Anand, Ashwani, et al.
Published: (2025)

Doubly Fair Parity Games
by: Hausmann, Daniel, et al.
Published: (2023)

Context-triggered Abstraction-based Control Design
by: Nayak, Satya Prakash, et al.
Published: (2023)

MANTRA: Synthesizing SMT-Validated Compliance Benchmarks for Tool-Using LLM Agents
by: Anand, Ashwani, et al.
Published: (2026)

Robustness-by-Construction Synthesis: Adapting to the Environment at Runtime
by: Nayak, Satya Prakash, et al.
Published: (2022)

Maximal Adaptation, Minimal Guidance: Permissive Reactive Robot Task Planning with Humans in the Loop
by: Gitelson, Oz, et al.
Published: (2025)

Stackelberg-Pareto Synthesis with Quantitative Reachability Objectives
by: Brihaye, Thomas, et al.
Published: (2023)

Convex-Concave Zero-sum Markov Stackelberg Games
by: Goktas, Denizalp, et al.
Published: (2024)

Platooning as a Service (PlaaS): A Sustainable Transportation Framework for Connected and Autonomous Vehicles
by: Tanaji, Bhosale Akshay, et al.
Published: (2026)

Fair and Efficient Completion of Indivisible Goods
by: HV, Vishwa Prakash, et al.
Published: (2024)

Aggregating Quantitative Relative Judgments: From Social Choice to Ranking Prediction
by: Xu, Yixuan Even, et al.
Published: (2024)

Fair and Efficient Allocation of Indivisible Mixed Manna
by: Barman, Siddharth, et al.
Published: (2025)

Universal Safety Controllers with Learned Prophecies
by: Finkbeiner, Bernd, et al.
Published: (2025)

Synthesis of Universal Safety Controllers
by: Finkbeiner, Bernd, et al.
Published: (2025)

Localized Attractor Computations for Infinite-State Games (Full Version)
by: Schmuck, Anne-Kathrin, et al.
Published: (2024)

Strategy Improvement, the Simplex Algorithm and Lopsidedness
by: Maat, Matthew
Published: (2025)

Mixed Strategy Constraints in Continuous Games
by: Krusniak, Mel, et al.
Published: (2024)

Optimal Strategies in Ranked Choice Voting
by: Deshpande, Sanyukta, et al.
Published: (2024)

Strategy-robust Online Learning in Contextual Pricing
by: Huh, Joon Suk, et al.
Published: (2025)

On the Power of Randomization for Obviously Strategy-Proof Mechanisms
by: Ron, Shiri, et al.
Published: (2025)

Commitment to Sparse Strategies in Two-Player Games
by: Afiouni, Salam, et al.
Published: (2024)

Properties of Winning Iterated Prisoner's Dilemma Strategies
by: Glynatsi, Nikoleta E., et al.
Published: (2020)

Entropy-Based Strategies for Multi-Bracket Pools
by: Brill, Ryan S., et al.
Published: (2023)

Bounded-Memory Strategies in Partial-Information Games
by: Bose, Sougata, et al.
Published: (2024)

Efficient Stackelberg Strategies for Finitely Repeated Games
by: Collina, Natalie, et al.
Published: (2022)

Solving Infinite-Player Games with Player-to-Strategy Networks
by: Martin, Carlos, et al.
Published: (2025)

A Resource Allocation Game and its Equilibrium Strategies
by: Lee, Duan-Shin
Published: (2026)

Exploring Equilibrium Strategies in Network Games with Generative AI
by: Yang, Yaoqi, et al.
Published: (2024)

Synthesis of Robust Optimal Strategies in Weighted Timed Games
by: Monmege, Benjamin, et al.
Published: (2024)

Adaptive Learning for Moving Target defence: Enhancing Cybersecurity Strategies
by: Datar, Mandar, et al.
Published: (2025)

Computing Optimal Commitments to Strategies and Outcome-Conditional Utility Transfers
by: Sauerberg, Nathaniel, et al.
Published: (2024)

Characterizing Robustness of Strategies to Novelty in Zero-Sum Open Worlds
by: Kejriwal, Mayank, et al.
Published: (2026)