Copertina

Parameterized Infinite-State Reactive Synthesis

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Maderbacher, Benedikt, Bloem, Roderick
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Logic in Computer Science
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

Translation of Temporal Logic for Efficient Infinite-State Reactive Synthesis (Full Version)
di: Heim, Philippe, et al.
Pubblicazione: (2024)

Synthesis of Infinite State Systems
di: Drucker, Ohad, et al.
Pubblicazione: (2025)

sweap: Reactive Synthesis for Infinite-State Integer Problems
di: Azzopardi, Shaun, et al.
Pubblicazione: (2026)

Efficient Reactive Synthesis
di: Ye, Xin, et al.
Pubblicazione: (2024)

Infinite trees
di: Goy, Alexandre
Pubblicazione: (2025)

Explanations for Unrealizability of Infinite-State Safety Shields
di: Rodriguez, Andoni, et al.
Pubblicazione: (2025)

The Reactive Synthesis Competition (SYNTCOMP): 2018-2021
di: Jacobs, Swen, et al.
Pubblicazione: (2022)

Computing with Infinite Objects: the Gray Code Case
di: Spreen, Dieter, et al.
Pubblicazione: (2021)

Infinite State Model Checking by Learning Transitive Relations
di: Frohn, Florian, et al.
Pubblicazione: (2025)

Embedded Finite Models Beyond Restricted Quantifier Collapse
di: Benedikt, Michael, et al.
Pubblicazione: (2023)

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

Modular Attractor Acceleration in Infinite-State Games (Full Version)
di: Heim, Philippe, et al.
Pubblicazione: (2026)

Three Fundamental Questions in Modern Infinite-Domain Constraint Satisfaction
di: Pinsker, Michael, et al.
Pubblicazione: (2025)

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

Choiceless Computation and Symmetry: Limitations of Definability
di: Pago, Benedikt
Pubblicazione: (2024)

CTL* Model Checking on Infinite Families of Finite-State Labeled Transition Systems (Technical Report)
di: Pettinau, Roberto, et al.
Pubblicazione: (2026)

From learnable objects to learnable random objects
di: Anderson, Aaron, et al.
Pubblicazione: (2025)

How (and when) can you fit examples to logic-based hypothesis classes over infinite structures?
di: Benedikt, Michael, et al.
Pubblicazione: (2026)

Parameterized complexity of n-dense modal logics
di: Gasquet, Olivier
Pubblicazione: (2026)

The Parameterized Complexity of Learning Monadic Second-Order Logic
di: van Bergerem, Steffen, et al.
Pubblicazione: (2023)

On A Parameterized Theory of Dynamic Logic for Operationally-based Programs
di: Zhang, Yuanrui
Pubblicazione: (2026)

Antichains for Concurrent Parameterized Games
di: Bertrand, Nathalie, et al.
Pubblicazione: (2025)

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

On the Computability of Measures of Regular Sets of Infinite Trees
di: Niwiński, Damian, et al.
Pubblicazione: (2023)

Uniformity within Parameterized Circuit Classes
di: Hegeman, Steef, et al.
Pubblicazione: (2025)

Tighter Bounds for Query Answering with Guarded TGDs
di: Amarilli, Antoine, et al.
Pubblicazione: (2022)

Parameterized Model-checking of Discrete-Timed Networks and Symmetric-Broadcast Systems
di: Aminof, Benjamin, et al.
Pubblicazione: (2023)

Optimal Lower Bounds for Symmetric Modular Circuits
di: Pago, Benedikt
Pubblicazione: (2026)

On Dependent Variables in Reactive Synthesis
di: Akshay, S., et al.
Pubblicazione: (2024)

Towards Learning Infinite SMT Models (Work in Progress)
di: Janota, Mikoláš, et al.
Pubblicazione: (2025)

Infinite Traces by Finality: a Sheaf-Theoretic Approach
di: Peressotti, Marco
Pubblicazione: (2025)

Formal Verification of Parameterized Systems based on Induction
di: Xiu, Jiaqi, et al.
Pubblicazione: (2025)

NeuroSynt: A Neuro-symbolic Portfolio Solver for Reactive Synthesis
di: Cosler, Matthias, et al.
Pubblicazione: (2024)

Asynchronous Composition of LTL Properties over Infinite and Finite Traces
di: Bombardelli, Alberto, et al.
Pubblicazione: (2023)

Synthesis of Computable Regular Functions of Infinite Words
di: Dave, V., et al.
Pubblicazione: (2019)

Symmetric Proofs of Parameterized Programs
di: Cheng, Ruotong, et al.
Pubblicazione: (2026)

Consistent Update Synthesis via Privatized Beliefs
di: Schlögl, Thomas, et al.
Pubblicazione: (2024)

Synthesizing nested relational queries from implicit specifications: via model theory and via proof theory
di: Benedikt, Michael, et al.
Pubblicazione: (2022)

The complexity of Presburger arithmetic with power or powers
di: Benedikt, Michael, et al.
Pubblicazione: (2023)