Cover Image

Computing Adequately Permissive Assumptions for Synthesis

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Anand, Ashwani, Mallik, Kaushik, Nayak, Satya Prakash, Schmuck, Anne-Kathrin
Format:	Preprint
Published:	2023
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

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)

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

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

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

Quantitative Strategy Templates
by: Anand, Ashwani, et al.
Published: (2025)

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

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

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

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)

Bidding Games with Charging
by: Avni, Guy, et al.
Published: (2024)

Permissive Equilibria in Multiplayer Reachability Games
by: Goeminne, Aline, et al.
Published: (2024)

Multi-weighted Reachability Games and Their Application to Permissiveness
by: Brihaye, Thomas, et al.
Published: (2023)

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

Auction-Based Scheduling
by: Avni, Guy, et al.
Published: (2023)

Bidding Games on Markov Decision Processes with Quantitative Reachability Objectives
by: Avni, Guy, et al.
Published: (2024)

Permissible four-strategy quantum extensions of classical games
by: Frąckiewicz, Piotr, et al.
Published: (2024)

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

Permissible extensions of classical to quantum games combining three strategies
by: Frąckiewicz, Piotr, et al.
Published: (2024)

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

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

More is Merrier: Relax the Non-Collusion Assumption in Multi-Server PIR
by: Gong, Tiantian, et al.
Published: (2022)

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)

Learning in Zero-Sum Markov Games: Relaxing Strong Reachability and Mixing Time Assumptions
by: Ouhamma, Reda, et al.
Published: (2023)

A Gale-Shapley View of Unique Stable Marriages
by: Gokhale, Kartik, et al.
Published: (2023)

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)

Different Strokes in Randomised Strategies: Revisiting Kuhn's Theorem under Finite-Memory Assumptions
by: Main, James C. A., et al.
Published: (2022)

Symbolic Computation of Sequential Equilibria
by: Graf, Moritz, et al.
Published: (2024)

Computing Equilibrium Nominations in Presidential Elections
by: Faliszewski, Piotr, et al.
Published: (2025)

Computational Social Choice: Research & Development
by: Baumeister, Dorothea, et al.
Published: (2026)

Resonance: Transaction Fees for Heterogeneous Computation
by: Bahrani, Maryam, et al.
Published: (2024)

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

Hidden-Role Games: Equilibrium Concepts and Computation
by: Carminati, Luca, et al.
Published: (2023)

Equilibrium Computation in Multi-Stage Auctions and Contests
by: Pieroth, Fabian R., et al.
Published: (2023)

Computing Equilibria in Games with Stochastic Action Sets
by: Schwarz, Thomas, et al.
Published: (2026)

Cloud Computing Review: A Decade of Research
by: Swain, Smruti Rekha
Published: (2026)

Existence and Computation of Fair Allocations under Constraints
by: Barman, Siddharth, et al.
Published: (2026)