Finite-trace and generalized-reactivity specifications in temporal synthesis

Finite-trace and generalized-reactivity specifications in temporal synthesis

Linear Temporal Logic (LTL) synthesis aims at automatically synthesizing a program that complies with desired properties expressed in LTL. Unfortunately it has been proved to be too difficult computationally to perform full LTL synthesis. There have been two success stories with LTL synthesis, both...

Full description

Bibliographic Details
Main Authors:	De Giacomo, G, Di Stasio, A, Tabajara, LM, Vardi, MY, Zhu, S
Format:	Journal article
Language:	English
Published:	Springer 2023

Similar Items

Reactive synthesis for finite tasks under resource constraints
by: He, K, et al.
Published: (2017)

LTLf synthesis under environment specifications for reachability and safety properties
by: Aminof, B, et al.
Published: (2023)

Reactive Planner Synthesis Under Temporal Logic Specifications
by: Hyeonkyu Seong, et al.
Published: (2024-01-01)

Reactive synthesis of dominant strategies
by: Aminof, B, et al.
Published: (2023)

Solving parity games using an automata-based algorithm
by: Di Stasio, A, et al.
Published: (2016)

Specification Format for Reactive Synthesis Problems
by: Ayrat Khalimov
Published: (2016-02-01)

Traces on finite W-algebras
by: Etingof, Pavel I., et al.
Published: (2012)

Reactive Task and Motion Planning under Temporal Logic Specifications
by: Li, Shen, et al.
Published: (2022)

Clock specifications for temporal tasks in planning and learning
by: De Giacomo, G, et al.
Published: (2024)

Specification Mining over Temporal Data
by: Giacomo Bergami, et al.
Published: (2023-09-01)

Iterated games with LDL goals over finite traces
by: Gutierrez, J, et al.
Published: (2017)

Iterative temporal planning in uncertain environments with partial satisfaction guarantees
by: Lahijanian, M, et al.
Published: (2016)

Hippocampal-Cortical Memory Trace Transfer and Reactivation Through Cell-Specific Stimulus and Spontaneous Background Noise
by: Xin Liu, et al.
Published: (2019-09-01)

Symposium 2: Retrieval and Reactivation of the Memory Trace
by: C. Bucherelli
Published: (1999-01-01)

Specification and Optimal Reactive Synthesis of Run-time Enforcement Shields
by: Paritosh K. Pandya, et al.
Published: (2019-09-01)

Traces of powers of matrices over finite fields
by: Gorodetsky, O, et al.
Published: (2021)

Temporal gradient-domain path tracing
by: Manzi, Marco, et al.
Published: (2021)

Finite traces and representations of the group of infinite matrices over a finite field
by: Gorin, Vadim, et al.
Published: (2018)

Multi-player games with LDL goals over finite traces
by: Gutierrez, J, et al.
Published: (2019)

Synthesis with rational environments
by: Kupferman, O, et al.
Published: (2016)

Interventions to improve contact tracing for tuberculosis in specific groups and in wider populations: an evidence synthesis
by: Susan Baxter, et al.
Published: (2017-01-01)

The trembling-hand problem for LTLf planning
by: Yu, P, et al.
Published: (2024)

Synthesis and reactivity of styrylchromones
by: Artur M. S. Silva, et al.
Published: (2004-02-01)

Changes in basophil reactivity and synthesis of specific immunoglobulins E influenced by allergen-immunotherapy
by: L. Yu. Barycheva, et al.
Published: (2023-03-01)

Synthesis from Recursive-Components Libraries
by: Yoad Lustig, et al.
Published: (2011-06-01)

Tracing the Historic Roots of Generalized Trust
by: Benjamin Wellander, et al.
Published: (2020-06-01)

Sampling-based synthesis of maximally-satisfying controllers for temporal logic specifications
by: Vasile, Cristian-Ioan, et al.
Published: (2018)

Trace Checking with Real−Time Specifications
by: Deutschmann, R, et al.
Published: (2004)

Temporal verification of reactive systems : safety /
by: 179321 Manna, Zohar, et al.
Published: (1995)

Human-specific epigenomic states in spermatogenesis
by: Caiyun Liao, et al.
Published: (2024-12-01)

Temporality and Beauty in Antony and Cleopatra
by: Giuseppe Di Giacomo
Published: (2018-11-01)

Temporal and Spatial Analysis of Trace Metal Ecotoxicity in Sediments of Chaohu Lake, China
by: Wenguang Luo, et al.
Published: (2024-12-01)

Tracing syndrome-specific trajectories of attention across the lifespan.
by: Cornish, K, et al.
Published: (2007)

Influence of protozoan grazing on the marine geochemistry of particle reactive trace metals
by: Barbeau, Katherine
Published: (2010)

Dissecting reactive astrocyte responses: lineage tracing and morphology-based clustering
by: Lina M. Delgado-García, et al.
Published: (2024-08-01)

Synthesis and reactivity of monothio-oxamides
by: Igor V. Zavarzin, et al.
Published: (2003-10-01)

An automated dynamic chamber system for surface exchange measurement of non-reactive and reactive trace gases of grassland ecosystems
by: L. Pape, et al.
Published: (2009-03-01)

Online control synthesis for uncertain systems under signal temporal logic specifications
by: Yu, P, et al.
Published: (2023)

Photometric determination of traces of metals : general aspects/
by: 220413 Sandell, Ernest Birger
Published: (1978)

Generalized trace pseudo-spectrum of matrix pencils
by: Aymen Ammar, et al.
Published: (2019-08-01)