Imagen de Portada

Synthesis with Guided Environments

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Kupferman, Orna, Leshkowitz, Ofer
Formato:	Preprint
Publicado:	2025
Materias:	Logic in Computer Science
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

A Hierarchy of Nondeterminism
por: Radi, Bader Abu, et al.
Publicado: (2022)

Coverage Games
por: Kupferman, Orna, et al.
Publicado: (2026)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Program Synthesis in Saturation
por: Hozzová, Petra, et al.
Publicado: (2024)

Efficient Reactive Synthesis
por: Ye, Xin, et al.
Publicado: (2024)

Synthesis of Temporal Causality
por: Finkbeiner, Bernd, et al.
Publicado: (2024)

Synthesis of Universal Safety Controllers
por: Finkbeiner, Bernd, et al.
Publicado: (2025)

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

Synthesis of Infinite State Systems
por: Drucker, Ohad, et al.
Publicado: (2025)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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