Copertina

Synthesis with Guided Environments

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Kupferman, Orna, Leshkowitz, Ofer
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

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

A Hierarchy of Nondeterminism
di: Radi, Bader Abu, et al.
Pubblicazione: (2022)

Coverage Games
di: Kupferman, Orna, et al.
Pubblicazione: (2026)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Program Synthesis in Saturation
di: Hozzová, Petra, et al.
Pubblicazione: (2024)

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

Synthesis of Temporal Causality
di: Finkbeiner, Bernd, et al.
Pubblicazione: (2024)

Synthesis of Universal Safety Controllers
di: Finkbeiner, Bernd, et al.
Pubblicazione: (2025)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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