:: Library Catalog

Cover Image

Saved in:

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

Similar Items

Synthesis with Privacy Against an Observer
by: Kupferman, Orna, et al.
Published: (2024)

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)

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

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

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

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

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

Realizability in Semantics-Guided Synthesis Done Eagerly
by: Meyer, Roland, et al.
Published: (2024)

Verifying Solutions to Semantics-Guided Synthesis Problems
by: Murphy, Charlie, et al.
Published: (2024)

LTLf Synthesis on First-Order Agent Programs in Nondeterministic Environments
by: Hofmann, Till, et al.
Published: (2024)

Z3Guide: A Scalable, Student-Centered, and Extensible Educational Environment for Logic Modeling
by: Huang, Ruanqianqian, et al.
Published: (2025)

Programming and Reasoning in Partially Observable Probabilistic Environments
by: Gürtler, Tobias, et al.
Published: (2025)

Multi-Environment MDPs with Prior and Universal Semantics
by: Bordais, Benjamin, et al.
Published: (2026)

Counterexample-Guided Interval Weakening
by: Andrew, Ben M., et al.
Published: (2026)

The Value Problem for Multiple-Environment MDPs with Parity Objective
by: Chatterjee, Krishnendu, et al.
Published: (2025)

Robust Almost-Sure Reachability in Multi-Environment MDPs
by: van der Vegt, Marck, et al.
Published: (2023)

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)

Certifying Lyapunov Stability of Black-Box Nonlinear Systems via Counterexample Guided Synthesis (Extended Version)
by: Hsieh, Chiao, et al.
Published: (2025)

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

A PSPACE Algorithm for Almost-Sure Rabin Objectives in Multi-Environment MDPs
by: Suilen, Marnix, et al.
Published: (2024)

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

Towards Language Model Guided TLA+ Proof Automation
by: Zhou, Yuhao, et al.
Published: (2025)

Active Monitoring with RTLola: A Specification-Guided Scheduling Approach
by: Baumeister, Jan, et al.
Published: (2025)

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)

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

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

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

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

A Tale of 1001 LoC: Potential Runtime Error-Guided Specification Synthesis for Verifying Large-Scale Programs
by: Wang, Zhongyi, et al.
Published: (2025)

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)

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