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...

Descripció completa

Dades bibliogràfiques
Autors principals:	De Giacomo, G, Di Stasio, A, Tabajara, LM, Vardi, MY, Zhu, S
Format:	Journal article
Idioma:	English
Publicat:	Springer 2023

Ítems similars

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

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

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

Reactive synthesis of dominant strategies
per: Aminof, B, et al.
Publicat: (2023)

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

Specification Format for Reactive Synthesis Problems
per: Ayrat Khalimov
Publicat: (2016-02-01)

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

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

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

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

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

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

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

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

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

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

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

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

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

Synthesis with rational environments
per: Kupferman, O, et al.
Publicat: (2016)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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