Image de couverture de livre

Quantitative Strategy Templates

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Anand, Ashwani, Nayak, Satya Prakash, Raha, Ritam, Sağlam, Irmak, Schmuck, Anne-Kathrin
Format:	Preprint
Publié:	2025
Sujets:	Computer Science and Game Theory
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Fair Quantitative Games
par: Anand, Ashwani, et autres
Publié: (2025)

Synthesizing Permissive Winning Strategy Templates for Parity Games
par: Anand, Ashwani, et autres
Publié: (2023)

Contract-Based Distributed Synthesis in Two-Objective Parity Games
par: Anand, Ashwani, et autres
Publié: (2023)

Solving Two-Player Games under Progress Assumptions
par: Schmuck, Anne-Kathrin, et autres
Publié: (2023)

Concurrent Permissive Strategy Templates
par: Anand, Ashwani, et autres
Publié: (2026)

Computing Adequately Permissive Assumptions for Synthesis
par: Anand, Ashwani, et autres
Publié: (2023)

Most General Winning Secure Equilibria Synthesis in Graph Games
par: Nayak, Satya Prakash, et autres
Publié: (2024)

Incremental Data-Driven Policy Synthesis via Game Abstractions
par: Sağlam, Irmak, et autres
Publié: (2025)

Follow the STARs: Dynamic $ω$-Regular Shielding of Learned Policies
par: Anand, Ashwani, et autres
Publié: (2025)

Doubly Fair Parity Games
par: Hausmann, Daniel, et autres
Publié: (2023)

Context-triggered Abstraction-based Control Design
par: Nayak, Satya Prakash, et autres
Publié: (2023)

MANTRA: Synthesizing SMT-Validated Compliance Benchmarks for Tool-Using LLM Agents
par: Anand, Ashwani, et autres
Publié: (2026)

Robustness-by-Construction Synthesis: Adapting to the Environment at Runtime
par: Nayak, Satya Prakash, et autres
Publié: (2022)

Maximal Adaptation, Minimal Guidance: Permissive Reactive Robot Task Planning with Humans in the Loop
par: Gitelson, Oz, et autres
Publié: (2025)

Stackelberg-Pareto Synthesis with Quantitative Reachability Objectives
par: Brihaye, Thomas, et autres
Publié: (2023)

Convex-Concave Zero-sum Markov Stackelberg Games
par: Goktas, Denizalp, et autres
Publié: (2024)

Platooning as a Service (PlaaS): A Sustainable Transportation Framework for Connected and Autonomous Vehicles
par: Tanaji, Bhosale Akshay, et autres
Publié: (2026)

Fair and Efficient Completion of Indivisible Goods
par: HV, Vishwa Prakash, et autres
Publié: (2024)

Aggregating Quantitative Relative Judgments: From Social Choice to Ranking Prediction
par: Xu, Yixuan Even, et autres
Publié: (2024)

Fair and Efficient Allocation of Indivisible Mixed Manna
par: Barman, Siddharth, et autres
Publié: (2025)

Universal Safety Controllers with Learned Prophecies
par: Finkbeiner, Bernd, et autres
Publié: (2025)

Synthesis of Universal Safety Controllers
par: Finkbeiner, Bernd, et autres
Publié: (2025)

Localized Attractor Computations for Infinite-State Games (Full Version)
par: Schmuck, Anne-Kathrin, et autres
Publié: (2024)

Strategy Improvement, the Simplex Algorithm and Lopsidedness
par: Maat, Matthew
Publié: (2025)

Mixed Strategy Constraints in Continuous Games
par: Krusniak, Mel, et autres
Publié: (2024)

Optimal Strategies in Ranked Choice Voting
par: Deshpande, Sanyukta, et autres
Publié: (2024)

Strategy-robust Online Learning in Contextual Pricing
par: Huh, Joon Suk, et autres
Publié: (2025)

On the Power of Randomization for Obviously Strategy-Proof Mechanisms
par: Ron, Shiri, et autres
Publié: (2025)

Commitment to Sparse Strategies in Two-Player Games
par: Afiouni, Salam, et autres
Publié: (2024)

Properties of Winning Iterated Prisoner's Dilemma Strategies
par: Glynatsi, Nikoleta E., et autres
Publié: (2020)

Entropy-Based Strategies for Multi-Bracket Pools
par: Brill, Ryan S., et autres
Publié: (2023)

Bounded-Memory Strategies in Partial-Information Games
par: Bose, Sougata, et autres
Publié: (2024)

Efficient Stackelberg Strategies for Finitely Repeated Games
par: Collina, Natalie, et autres
Publié: (2022)

Solving Infinite-Player Games with Player-to-Strategy Networks
par: Martin, Carlos, et autres
Publié: (2025)

A Resource Allocation Game and its Equilibrium Strategies
par: Lee, Duan-Shin
Publié: (2026)

Exploring Equilibrium Strategies in Network Games with Generative AI
par: Yang, Yaoqi, et autres
Publié: (2024)

Synthesis of Robust Optimal Strategies in Weighted Timed Games
par: Monmege, Benjamin, et autres
Publié: (2024)

Adaptive Learning for Moving Target defence: Enhancing Cybersecurity Strategies
par: Datar, Mandar, et autres
Publié: (2025)

Computing Optimal Commitments to Strategies and Outcome-Conditional Utility Transfers
par: Sauerberg, Nathaniel, et autres
Publié: (2024)

Characterizing Robustness of Strategies to Novelty in Zero-Sum Open Worlds
par: Kejriwal, Mayank, et autres
Publié: (2026)