Buchumschlag

Synthesis with Privacy Against an Observer

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Kupferman, Orna, Leshkowitz, Ofer, Halevy, Namma Shamash
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

Synthesis with Guided Environments
von: Kupferman, Orna, et al.
Veröffentlicht: (2025)

A Hierarchy of Nondeterminism
von: Radi, Bader Abu, et al.
Veröffentlicht: (2022)

Coverage Games
von: Kupferman, Orna, et al.
Veröffentlicht: (2026)

CTL* Verification and Synthesis using Existential Horn Clauses
von: Carelli, Mishel, et al.
Veröffentlicht: (2024)

Revisiting Assumptions Ordering in CAR-Based Model Checking
von: Dong, Yibo, et al.
Veröffentlicht: (2024)

Consistent Update Synthesis via Privatized Beliefs
von: Schlögl, Thomas, et al.
Veröffentlicht: (2024)

Privacy-preserving Nash Equilibrium Synthesis with Partially Ordered Temporal Objectives
von: Probine, Caleb, et al.
Veröffentlicht: (2025)

Distributed Transition System with Tags and Value-wise Metric, for Privacy Analysis
von: Anantharaman, Siva, et al.
Veröffentlicht: (2025)

Program Synthesis in Saturation
von: Hozzová, Petra, et al.
Veröffentlicht: (2024)

Efficient Reactive Synthesis
von: Ye, Xin, et al.
Veröffentlicht: (2024)

Synthesis of Temporal Causality
von: Finkbeiner, Bernd, et al.
Veröffentlicht: (2024)

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

Synthesis Benchmarks for Automated Reasoning
von: Hajdu, Márton, et al.
Veröffentlicht: (2025)

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

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

Sequent Calculi for Data-Aware Modal Logics
von: Areces, Carlos, et al.
Veröffentlicht: (2025)

Efficient Synthesis of Symbolic Distributed Protocols by Sketching
von: Egolf, Derek, et al.
Veröffentlicht: (2024)

Information Flow Guided Synthesis with Unbounded Communication
von: Finkbeiner, Bernd, et al.
Veröffentlicht: (2024)

The Church Synthesis Problem over Continuous Time
von: Rabinovich, Alexander, et al.
Veröffentlicht: (2024)

On-the-fly LTLf Synthesis under Partial Observability
von: Alon, Nadav, et al.
Veröffentlicht: (2026)

Small Decision Trees for MDPs with Deductive Synthesis
von: Andriushchenko, Roman, et al.
Veröffentlicht: (2025)

On Reconfigurable Bisimulation, with an Application to the Distributed Synthesis Problem
von: Alrahman, Yehia Abd, et al.
Veröffentlicht: (2025)

The Reactive Synthesis Competition (SYNTCOMP): 2018-2021
von: Jacobs, Swen, et al.
Veröffentlicht: (2022)

Synthesis for prefix first-order logic on data words
von: Grange, Julien, et al.
Veröffentlicht: (2024)

Completeness of Synthesis under Realizability Assumptions using Superposition
von: Hajdu, Márton, et al.
Veröffentlicht: (2026)

Accelerating Protocol Synthesis and Detecting Unrealizability with Interpretation Reduction
von: Egolf, Derek, et al.
Veröffentlicht: (2025)

First-Order LTLf Synthesis with Lookback (Extended Version)
von: Winkler, Sarah
Veröffentlicht: (2025)

The Temporal Logic Synthesis Format TLSF v1.2
von: Jacobs, Swen, et al.
Veröffentlicht: (2023)

Dense Integer-Complete Synthesis for Bounded Parametric Timed Automata
von: André, Étienne, et al.
Veröffentlicht: (2023)

The Limitations and Power of NP-Oracle-Based Functional Synthesis Techniques
von: Juba, Brendan, et al.
Veröffentlicht: (2025)

Recursive Program Synthesis from Sketches and Mixed-Quantifier Properties
von: Egolf, Derek, et al.
Veröffentlicht: (2026)

Synthesiz3 This: an SMT-Based Approach for Synthesis with Uncomputable Symbols
von: Hozzová, Petra, et al.
Veröffentlicht: (2025)

LLM-Powered Automatic Theorem Proving and Synthesis for Hybrid Systems and Game
von: Kabra, Aditi, et al.
Veröffentlicht: (2026)

ocLTL: LTL Realizability and Synthesis Modulo ω-Categorical Structures
von: Asor, Ohad
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)

Physically Aware Synthesis Revisited: Guiding Technology Mapping with Primitive Logic Gate Placement
von: Pan, Hongyang, et al.
Veröffentlicht: (2024)

Automated Catamorphism Synthesis for Solving Constrained Horn Clauses over Algebraic Data Types
von: Katsura, Hiroyuki, et al.
Veröffentlicht: (2025)

AutoModel: Automatic Synthesis of Models from Communication Traces of SoC Designs
von: Ahmed, Md Rubel, et al.
Veröffentlicht: (2023)

Demystifying $μ$
von: Afshari, Bahareh, et al.
Veröffentlicht: (2024)