Image de couverture de livre

Mixing Any Cocktail with Limited Ingredients: On the Structure of Payoff Sets in Multi-Objective POMDPs and its Impact on Randomised Strategies

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Main, James C. A., Randour, Mickael
Format:	Preprint
Publié:	2025
Sujets:	Computer Science and Game Theory Artificial Intelligence Formal Languages and Automata Theory Logic in Computer Science Probability
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Different Strokes in Randomised Strategies: Revisiting Kuhn's Theorem under Finite-Memory Assumptions
par: Main, James C. A., et autres
Publié: (2022)

Taming Infinity one Chunk at a Time: Concisely Represented Strategies in One-Counter MDPs
par: Ajdarów, Michal, et autres
Publié: (2025)

Half-Positional Objectives Recognized by Deterministic Büchi Automata
par: Bouyer, Patricia, et autres
Publié: (2022)

Arena-Independent Finite-Memory Determinacy in Stochastic Games
par: Bouyer, Patricia, et autres
Publié: (2021)

Simplicity Lies in the Eye of the Beholder: A Strategic Perspective on Controllers in Reactive Synthesis
par: Randour, Mickael
Publié: (2025)

Games on Graphs: From Logic and Automata to Algorithms
par: Fijalkow, Nathanaël, et autres
Publié: (2023)

On the Existence of Reactive Strategies Resilient to Delay
par: Fränzle, Martin, et autres
Publié: (2023)

The Power of Counting Steps in Quantitative Games
par: Bose, Sougata, et autres
Publié: (2024)

Reasoning about Strategic Abilities in Stochastic Multi-agent Systems
par: Zhang, Yedi, et autres
Publié: (2024)

A positional $\mathbfΠ^0_3$-complete objective
par: Casares, Antonio, et autres
Publié: (2024)

Behavioural pseudometrics for continuous-time diffusions
par: Chen, Linan, et autres
Publié: (2023)

Bisimulation for Feller-Dynkin Processes
par: Chen, Linan, et autres
Publié: (2019)

The Complexity of Pure Strategy Relevant Equilibria in Concurrent Games
par: Bhaduri, Purandar
Publié: (2025)

Set Automata and Limits of Decidability of Two-Variable Logic on Data Words
par: Guha, Shibashis, et autres
Publié: (2026)

Sequential Decision Making in Stochastic Games with Incomplete Preferences over Temporal Objectives
par: Kulkarni, Abhishek Ninad, et autres
Publié: (2025)

Winning Strategies for the Synchronization Game on Subclasses of Finite Automata
par: Fernau, Henning, et autres
Publié: (2024)

Solving MDPs with LTLf+ and PPLTL+ Temporal Objectives
par: De Giacomo, Giuseppe, et autres
Publié: (2025)

Comparing Labeled Markov Chains: A Cantor-Kantorovich Approach
par: Banse, Adrien, et autres
Publié: (2025)

Randomise Alone, Reach as a Team
par: Brice, Léonard, et autres
Publié: (2026)

Characterizations of Monadic Second Order Definable Context-Free Sets of Graphs
par: Iosif, Radu, et autres
Publié: (2023)

Towards Efficient Matching of Regexes with Backreferences using Register Set Automata (Technical Report)
par: Havlena, Vojtěch, et autres
Publié: (2022)

On the Impact of the Communication Model on Realisability
par: Di Giusto, Cinzia, et autres
Publié: (2025)

Extended CTG Generalization and Dynamic Adjustment of Generalization Strategies in IC3
par: Su, Yuheng, et autres
Publié: (2025)

A Dichotomy Theorem for Automatic Structures
par: Cuvelier, Antoine, et autres
Publié: (2026)

A Unifying Framework for Global Optimization: From Theory to Formalization
par: Serré, Gaëtan, et autres
Publié: (2025)

Relating Reversible Petri Nets and Reversible Event Structures, categorically
par: Melgratti, Hernán, et autres
Publié: (2023)

Complexity of Model Checking Second-Order Hyperproperties on Finite Structures
par: Finkbeiner, Bernd, et autres
Publié: (2026)

An Automata-Based Approach to Games with $ω$-Automatic Preferences
par: Bruyère, Véronique, et autres
Publié: (2026)

Non-cooperative rational synthesis problem for probabilistic strategies
par: Koide, So, et autres
Publié: (2024)

Faster and Smaller Solutions of Obliging Games
par: Hausmann, Daniel, et autres
Publié: (2024)

Computing Threshold Budgets in Discrete-Bidding Games
par: Avni, Guy, et autres
Publié: (2022)

Complexity of the Existence of Constrained Secure Equilibria in Multi-Player Games
par: Mizuno, Hiroki, et autres
Publié: (2025)

Playing Safe, Ten Years Later
par: Colcombet, Thomas, et autres
Publié: (2022)

Distributed Fair Assignment and Rebalancing for Mobility-on-Demand Systems via an Auction-based Method
par: Liang, Kaier, et autres
Publié: (2024)

Attractors Is All You Need: Parity Games In Polynomial Time
par: van der Heijden, Rick
Publié: (2025)

Proceedings of the Combined 32nd International Workshop on Expressiveness in Concurrency and 22nd Workshop on Structural Operational Semantics
par: Di Giusto, Cinzia, et autres
Publié: (2025)

Proceedings Combined 31st International Workshop on Expressiveness in Concurrency and 21st Workshop on Structural Operational Semantics
par: Caltais, Georgiana, et autres
Publié: (2024)

A cyclic proof system for Guarded Kleene Algebra with Tests (full version)
par: Rooduijn, Jan, et autres
Publié: (2024)

A proof theory of right-linear (omega-)grammars via cyclic proofs
par: Das, Anupam, et autres
Publié: (2024)

The Alternation Hierarchy of First-Order Logic on Words is Decidable
par: Barloy, Corentin, et autres
Publié: (2025)