Cover Image

Finding Personalized Good-Enough Solutions to Unsatisfiable Stable Roommates Problems

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Fidan, Müge, Erdem, Esra
Format:	Preprint
Published:	2025
Subjects:	Artificial Intelligence Computer Science and Game Theory Logic in Computer Science
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Resilient Strategies for Stochastic Systems: How Much Does It Take to Break a Winning Strategy?
by: Grover, Kush, et al.
Published: (2026)

Strategy Synthesis for Zero-Sum Neuro-Symbolic Concurrent Stochastic Games
by: Yan, Rui, et al.
Published: (2022)

State Definition for Conflict Analysis with Four-valued Logic
by: Kato, Yukiko
Published: (2022)

The Strongly Stable Roommates Problem and Linear Programming
by: Kamiyama, Naoyuki
Published: (2025)

Towards Logically Sound Natural Language Reasoning with Logic-Enhanced Language Model Agents
by: Mensfelt, Agnieszka, et al.
Published: (2024)

Algorithms for Stable Roommate with Externalities
by: Leng, Jing, et al.
Published: (2025)

Perspectives on Unsolvability in the Roommates Problem
by: Glitzner, Frederik, et al.
Published: (2025)

Proceedings Twentieth Conference on Theoretical Aspects of Rationality and Knowledge
by: Bjorndahl, Adam
Published: (2025)

Control in Stable Marriage and Stable Roommates: Complexity and Algorithms
by: Chen, Jiehua, et al.
Published: (2025)

A Linear Programming Approach to the Super-Stable Roommates Problem
by: Kamiyama, Naoyuki
Published: (2025)

Enumerating Minimal Unsatisfiable Cores of LTLf formulas
by: Ielo, Antonio, et al.
Published: (2024)

Taming Infinity one Chunk at a Time: Concisely Represented Strategies in One-Counter MDPs
by: Ajdarów, Michal, et al.
Published: (2025)

Mixing Any Cocktail with Limited Ingredients: On the Structure of Payoff Sets in Multi-Objective POMDPs and its Impact on Randomised Strategies
by: Main, James C. A., et al.
Published: (2025)

A Formal Framework for Robot Construction Problems: A Hybrid Planning Approach
by: Ahmad, Faseeh, et al.
Published: (2019)

Mechanism Design Is Not Enough: Prosocial Agents for Cooperative AI
by: Huang, Xuanqiang Angelo, et al.
Published: (2026)

Strategyproof Matching of Roommates and Rooms
by: Hosseini, Hadi, et al.
Published: (2024)

Rent Division with Picky Roommates
by: Huang, Yanqing, et al.
Published: (2024)

Are Large Random Graphs Always Safe to Hide?
by: Chakraborty, Sourav, et al.
Published: (2025)

Seven kinds of equivalent models for generalized coalition logics
by: Chen, Zixuan, et al.
Published: (2025)

Privacy-preserving Nash Equilibrium Synthesis with Partially Ordered Temporal Objectives
by: Probine, Caleb, et al.
Published: (2025)

Games with $ω$-Automatic Preference Relations
by: Bruyère, Véronique, et al.
Published: (2025)

Antichains for Concurrent Parameterized Games
by: Bertrand, Nathalie, et al.
Published: (2025)

Polytopal Stochastic Games
by: Castro, Pablo F., et al.
Published: (2025)

Generalised Reachability Games Revisited
by: Bose, Sougata, et al.
Published: (2025)

Verifying Equilibria in Finite-Horizon Probabilistic Concurrent Game Systems
by: Rajasekaran, Senthil, et al.
Published: (2025)

Algorithm and Strategy Construction for Sure-Almost-Sure Stochastic Parity Games
by: Doyen, Laurent, et al.
Published: (2026)

Benchmarks for Parity Games (extended version)
by: Keiren, Jeroen J. A.
Published: (2014)

Scaling CheckMate for Game-Theoretic Security
by: Rain, Sophie, et al.
Published: (2024)

Regular Games with Imperfect Information Are Not That Regular
by: Doyen, Laurent, et al.
Published: (2024)

Faster Game Solving by Fixpoint Acceleration
by: Hausmann, Daniel
Published: (2024)

Concurrent Strategies on Games with Algebras
by: Huriot-Tattegrain, Sacha, et al.
Published: (2024)

The Complexity of Games with Randomised Control
by: Bahmani, Sarvin, et al.
Published: (2026)

Computational Modelling for Combinatorial Game Strategies
by: Diaconescu, Răzvan
Published: (2024)

Temporal Explorability Games
by: Austin, Pete, et al.
Published: (2024)

Towards the Usage of Window Counting Constraints in the Synthesis of Reactive Systems to Reduce State Space Explosion
by: Feeken, Linda, et al.
Published: (2024)

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

Probabilistic Obstruction Temporal Logic: a Probabilistic Logic to Reason about Dynamic Models
by: Leneutre, Jean, et al.
Published: (2024)

Structural and Algorithmic Results for Stable Cycles and Partitions in the Roommates Problem
by: Glitzner, Frederik, et al.
Published: (2024)

Is Four Enough? Automated Reasoning Approaches and Dual Bounds for Condorcet Dimensions of Elections
by: Zilberstein, Itai, et al.
Published: (2026)

Completeness of coalition logics with seriality, independence of agents, or determinism
by: Li, Yinfeng, et al.
Published: (2024)