Buchumschlag

On the Existence of Reactive Strategies Resilient to Delay

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Fränzle, Martin, Kröger, Paul, Winter, Sarah, Zimmermann, Martin
Format:	Preprint
Veröffentlicht:	2023
Schlagworte:	Computer Science and Game Theory Formal Languages and Automata Theory Logic in Computer Science
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Tracy, Traces, and Transducers: Computable Counterexamples and Explanations for HyperLTL Model-Checking
von: Winter, Sarah, et al.
Veröffentlicht: (2024)

Prophecies all the Way: Game-based Model-Checking for HyperQPTL beyond $\forall^*\exists^*$
von: Winter, Sarah, et al.
Veröffentlicht: (2025)

Logics for Context-free Hyperproperties
von: Winter, Sarah, et al.
Veröffentlicht: (2026)

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

Games on Graphs: From Logic and Automata to Algorithms
von: Fijalkow, Nathanaël, et al.
Veröffentlicht: (2023)

Robust Probabilistic Temporal Logics
von: Zimmermann, Martin
Veröffentlicht: (2023)

The Power of Counting Steps in Quantitative Games
von: Bose, Sougata, et al.
Veröffentlicht: (2024)

Reasoning about Strategic Abilities in Stochastic Multi-agent Systems
von: Zhang, Yedi, et al.
Veröffentlicht: (2024)

Half-Positional Objectives Recognized by Deterministic Büchi Automata
von: Bouyer, Patricia, et al.
Veröffentlicht: (2022)

Arena-Independent Finite-Memory Determinacy in Stochastic Games
von: Bouyer, Patricia, et al.
Veröffentlicht: (2021)

The Complexity of Generalized HyperLTL with Stuttering and Contexts
von: Regaud, Gaëtan, et al.
Veröffentlicht: (2025)

The Complexity of Second-order HyperLTL
von: Frenkel, Hadar, et al.
Veröffentlicht: (2023)

Synthesizing Computable Functions from Rational Specifications over Infinite Words
von: Filiot, Emmanuel, et al.
Veröffentlicht: (2021)

A Bit of Nondeterminism Makes Pushdown Automata Expressive and Succinct
von: Guha, Shibashis, et al.
Veröffentlicht: (2021)

A positional $\mathbfΠ^0_3$-complete objective
von: Casares, Antonio, et al.
Veröffentlicht: (2024)

Monitoring Timed Properties (Revisited)
von: Grosen, Thomas Møller, et al.
Veröffentlicht: (2022)

Complexity of the Existence of Constrained Secure Equilibria in Multi-Player Games
von: Mizuno, Hiroki, et al.
Veröffentlicht: (2025)

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

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

On Dependent Variables in Reactive Synthesis
von: Akshay, S., et al.
Veröffentlicht: (2024)

The Complexity of Pure Strategy Relevant Equilibria in Concurrent Games
von: Bhaduri, Purandar
Veröffentlicht: (2025)

Winning Strategies for the Synchronization Game on Subclasses of Finite Automata
von: Fernau, Henning, et al.
Veröffentlicht: (2024)

Admissibility Over Winning: A New Approach to Reactive Synthesis in Robotics
von: Muvvala, Karan, et al.
Veröffentlicht: (2024)

Extended CTG Generalization and Dynamic Adjustment of Generalization Strategies in IC3
von: Su, Yuheng, et al.
Veröffentlicht: (2025)

Decision Questions for Probabilistic Automata on Small Alphabets
von: Bell, Paul C., et al.
Veröffentlicht: (2021)

Analyzing Robustness of Angluin's L$^*$ Algorithm in Presence of Noise
von: Ye, Lina, et al.
Veröffentlicht: (2023)

High-Level Message Sequence Charts: Satisfiability and Realizability Revisited
von: Bollig, Benedikt, et al.
Veröffentlicht: (2025)

Rethinking meaning and ontologies from the perspective of ontological units
von: Fabry, Paul, et al.
Veröffentlicht: (2025)

An Automata-Based Approach to Games with $ω$-Automatic Preferences
von: Bruyère, Véronique, et al.
Veröffentlicht: (2026)

Non-cooperative rational synthesis problem for probabilistic strategies
von: Koide, So, et al.
Veröffentlicht: (2024)

Faster and Smaller Solutions of Obliging Games
von: Hausmann, Daniel, et al.
Veröffentlicht: (2024)

Computing Threshold Budgets in Discrete-Bidding Games
von: Avni, Guy, et al.
Veröffentlicht: (2022)

Playing Safe, Ten Years Later
von: Colcombet, Thomas, et al.
Veröffentlicht: (2022)

Distributed Fair Assignment and Rebalancing for Mobility-on-Demand Systems via an Auction-based Method
von: Liang, Kaier, et al.
Veröffentlicht: (2024)

Sequential Decision Making in Stochastic Games with Incomplete Preferences over Temporal Objectives
von: Kulkarni, Abhishek Ninad, et al.
Veröffentlicht: (2025)

The structure of polynomial growth for tree automata/transducers and MSO set queries
von: Gallot, Paul, et al.
Veröffentlicht: (2025)

Verifying Asynchronous Hyperproperties in Reactive Systems
von: Beutner, Raven, et al.
Veröffentlicht: (2025)

Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory
von: Aceto, Luca, et al.
Veröffentlicht: (2025)

A cyclic proof system for Guarded Kleene Algebra with Tests (full version)
von: Rooduijn, Jan, et al.
Veröffentlicht: (2024)

A proof theory of right-linear (omega-)grammars via cyclic proofs
von: Das, Anupam, et al.
Veröffentlicht: (2024)