:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Kupferman, Orna, Leshkowitz, Ofer, Halevy, Namma Shamash
Format:	Preprint
Published:	2024
Subjects:	Logic in Computer Science
Online Access:	https://arxiv.org/abs/2411.08635
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Synthesis with Guided Environments
by: Kupferman, Orna, et al.
Published: (2025)

A Hierarchy of Nondeterminism
by: Radi, Bader Abu, et al.
Published: (2022)

Coverage Games
by: Kupferman, Orna, et al.
Published: (2026)

CTL* Verification and Synthesis using Existential Horn Clauses
by: Carelli, Mishel, et al.
Published: (2024)

Revisiting Assumptions Ordering in CAR-Based Model Checking
by: Dong, Yibo, et al.
Published: (2024)

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

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

Distributed Transition System with Tags and Value-wise Metric, for Privacy Analysis
by: Anantharaman, Siva, et al.
Published: (2025)

Program Synthesis in Saturation
by: Hozzová, Petra, et al.
Published: (2024)

Efficient Reactive Synthesis
by: Ye, Xin, et al.
Published: (2024)

Synthesis of Temporal Causality
by: Finkbeiner, Bernd, et al.
Published: (2024)

Synthesis of Universal Safety Controllers
by: Finkbeiner, Bernd, et al.
Published: (2025)

Synthesis Benchmarks for Automated Reasoning
by: Hajdu, Márton, et al.
Published: (2025)

Synthesis of Infinite State Systems
by: Drucker, Ohad, et al.
Published: (2025)

Sequent Calculi for Data-Aware Modal Logics
by: Areces, Carlos, et al.
Published: (2025)

Parameterized Infinite-State Reactive Synthesis
by: Maderbacher, Benedikt, et al.
Published: (2025)

Efficient Synthesis of Symbolic Distributed Protocols by Sketching
by: Egolf, Derek, et al.
Published: (2024)

Information Flow Guided Synthesis with Unbounded Communication
by: Finkbeiner, Bernd, et al.
Published: (2024)

The Church Synthesis Problem over Continuous Time
by: Rabinovich, Alexander, et al.
Published: (2024)

On-the-fly LTLf Synthesis under Partial Observability
by: Alon, Nadav, et al.
Published: (2026)

Small Decision Trees for MDPs with Deductive Synthesis
by: Andriushchenko, Roman, et al.
Published: (2025)

On Reconfigurable Bisimulation, with an Application to the Distributed Synthesis Problem
by: Alrahman, Yehia Abd, et al.
Published: (2025)

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

Synthesis for prefix first-order logic on data words
by: Grange, Julien, et al.
Published: (2024)

Completeness of Synthesis under Realizability Assumptions using Superposition
by: Hajdu, Márton, et al.
Published: (2026)

Accelerating Protocol Synthesis and Detecting Unrealizability with Interpretation Reduction
by: Egolf, Derek, et al.
Published: (2025)

First-Order LTLf Synthesis with Lookback (Extended Version)
by: Winkler, Sarah
Published: (2025)

The Temporal Logic Synthesis Format TLSF v1.2
by: Jacobs, Swen, et al.
Published: (2023)

Dense Integer-Complete Synthesis for Bounded Parametric Timed Automata
by: André, Étienne, et al.
Published: (2023)

The Limitations and Power of NP-Oracle-Based Functional Synthesis Techniques
by: Juba, Brendan, et al.
Published: (2025)

Recursive Program Synthesis from Sketches and Mixed-Quantifier Properties
by: Egolf, Derek, et al.
Published: (2026)

Synthesiz3 This: an SMT-Based Approach for Synthesis with Uncomputable Symbols
by: Hozzová, Petra, et al.
Published: (2025)

LLM-Powered Automatic Theorem Proving and Synthesis for Hybrid Systems and Game
by: Kabra, Aditi, et al.
Published: (2026)

ocLTL: LTL Realizability and Synthesis Modulo ω-Categorical Structures
by: Asor, Ohad
Published: (2026)

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

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

Verifying DNN-based Semantic Communication Against Generative Adversarial Noise
by: Le, Thanh, et al.
Published: (2026)

Physically Aware Synthesis Revisited: Guiding Technology Mapping with Primitive Logic Gate Placement
by: Pan, Hongyang, et al.
Published: (2024)

Automated Catamorphism Synthesis for Solving Constrained Horn Clauses over Algebraic Data Types
by: Katsura, Hiroyuki, et al.
Published: (2025)

AutoModel: Automatic Synthesis of Models from Communication Traces of SoC Designs
by: Ahmed, Md Rubel, et al.
Published: (2023)