Buchumschlag

Localized Attractor Computations for Infinite-State Games (Full Version)

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Schmuck, Anne-Kathrin, Heim, Philippe, Dimitrova, Rayna, Nayak, Satya Prakash
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	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

Modular Attractor Acceleration in Infinite-State Games (Full Version)
von: Heim, Philippe, et al.
Veröffentlicht: (2026)

Translation of Temporal Logic for Efficient Infinite-State Reactive Synthesis (Full Version)
von: Heim, Philippe, et al.
Veröffentlicht: (2024)

Issy: A Comprehensive Tool for Specification and Synthesis of Infinite-State Reactive Systems
von: Heim, Philippe, et al.
Veröffentlicht: (2025)

Universal Safety Controllers with Learned Prophecies
von: Finkbeiner, Bernd, et al.
Veröffentlicht: (2025)

Synthesis of Universal Safety Controllers
von: Finkbeiner, Bernd, et al.
Veröffentlicht: (2025)

Follow the STARs: Dynamic $ω$-Regular Shielding of Learned Policies
von: Anand, Ashwani, et al.
Veröffentlicht: (2025)

Contract-based Design and Verification of Multi-Agent Systems with Quantitative Temporal Requirements
von: Dewes, Rafael, et al.
Veröffentlicht: (2024)

Most General Winning Secure Equilibria Synthesis in Graph Games
von: Nayak, Satya Prakash, et al.
Veröffentlicht: (2024)

Synthesizing Permissive Winning Strategy Templates for Parity Games
von: Anand, Ashwani, et al.
Veröffentlicht: (2023)

Contract-Based Distributed Synthesis in Two-Objective Parity Games
von: Anand, Ashwani, et al.
Veröffentlicht: (2023)

Solving Two-Player Games under Progress Assumptions
von: Schmuck, Anne-Kathrin, et al.
Veröffentlicht: (2023)

Computing Adequately Permissive Assumptions for Synthesis
von: Anand, Ashwani, et al.
Veröffentlicht: (2023)

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

Fair Quantitative Games
von: Anand, Ashwani, et al.
Veröffentlicht: (2025)

MANTRA: Synthesizing SMT-Validated Compliance Benchmarks for Tool-Using LLM Agents
von: Anand, Ashwani, et al.
Veröffentlicht: (2026)

Robust Computation Tree Logic
von: Nayak, Satya Prakash, et al.
Veröffentlicht: (2022)

Computing with Infinite Objects: the Gray Code Case
von: Spreen, Dieter, et al.
Veröffentlicht: (2021)

The Computability Path Order for Beta-Eta-Normal Higher-Order Rewriting (Full Version)
von: Niederhauser, Johannes, et al.
Veröffentlicht: (2025)

Proof Nets for PiL (Full Version)
von: Acclavio, Matteo, et al.
Veröffentlicht: (2026)

Infinite trees
von: Goy, Alexandre
Veröffentlicht: (2025)

A Hoare Logic for Domain Specification (Full Version)
von: Kamburjan, Eduard, et al.
Veröffentlicht: (2024)

Unification of Deterministic Higher-Order Patterns (Full Version)
von: Niederhauser, Johannes, et al.
Veröffentlicht: (2026)

Synthesis of Infinite State Systems
von: Drucker, Ohad, et al.
Veröffentlicht: (2025)

Confluence Criteria for Logically Constrained Rewrite Systems (Full Version)
von: Schöpf, Jonas, et al.
Veröffentlicht: (2023)

Parameterized Infinite-State Reactive Synthesis
von: Maderbacher, Benedikt, et al.
Veröffentlicht: (2025)

On the Computability of Measures of Regular Sets of Infinite Trees
von: Niwiński, Damian, et al.
Veröffentlicht: (2023)

A Hyperlogic for Strategies in Stochastic Games (Extended Version)
von: Gerlach, Lina, et al.
Veröffentlicht: (2025)

Equational Theories and Validity for Logically Constrained Term Rewriting (Full Version)
von: Aoto, Takahito, et al.
Veröffentlicht: (2024)

Recovering Commutation of Logically Constrained Rewriting and Equivalence Transformations (Full Version)
von: Takahata, Kanta, et al.
Veröffentlicht: (2025)

Partial Rewriting and Value Interpretation of Logically Constrained Terms (Full Version)
von: Aoto, Takahito, et al.
Veröffentlicht: (2026)

Explanations for Unrealizability of Infinite-State Safety Shields
von: Rodriguez, Andoni, et al.
Veröffentlicht: (2025)

Quantitative Strategy Templates
von: Anand, Ashwani, et al.
Veröffentlicht: (2025)

Handling the Selection Monad (Full Version)
von: Plotkin, Gordon, et al.
Veröffentlicht: (2025)

Counterexample-Guided Abstraction Refinement for Generalized Graph Transformation Systems (Full Version)
von: König, Barbara, et al.
Veröffentlicht: (2025)

Difference of Constrained Patterns in Logically Constrained Term Rewrite Systems (Full Version)
von: Nishida, Naoki, et al.
Veröffentlicht: (2025)

Infinite State Model Checking by Learning Transitive Relations
von: Frohn, Florian, et al.
Veröffentlicht: (2025)

From Thin Concurrent Games to Generalized Species of Structures (Extended Version)
von: Clairambault, Pierre, et al.
Veröffentlicht: (2023)

Characterizing Equivalence of Logically Constrained Terms via Existentially Constrained Terms (Full Version)
von: Takahata, Kanta, et al.
Veröffentlicht: (2025)

Three Fundamental Questions in Modern Infinite-Domain Constraint Satisfaction
von: Pinsker, Michael, et al.
Veröffentlicht: (2025)

Effective Versions of Strong Measure Zero
von: Rayman, Matthew
Veröffentlicht: (2025)