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

Cur síos iomlán

Sonraí bibleagrafaíochta
Príomhchruthaitheoirí:	De Giacomo, G, Di Stasio, A, Tabajara, LM, Vardi, MY, Zhu, S
Formáid:	Journal article
Teanga:	English
Foilsithe / Cruthaithe:	Springer 2023

Míreanna comhchosúla

Reactive synthesis for finite tasks under resource constraints
de réir: He, K, et al.
Foilsithe / Cruthaithe: (2017)

LTLf synthesis under environment specifications for reachability and safety properties
de réir: Aminof, B, et al.
Foilsithe / Cruthaithe: (2023)

Reactive Planner Synthesis Under Temporal Logic Specifications
de réir: Hyeonkyu Seong, et al.
Foilsithe / Cruthaithe: (2024-01-01)

Reactive synthesis of dominant strategies
de réir: Aminof, B, et al.
Foilsithe / Cruthaithe: (2023)

Solving parity games using an automata-based algorithm
de réir: Di Stasio, A, et al.
Foilsithe / Cruthaithe: (2016)

Specification Format for Reactive Synthesis Problems
de réir: Ayrat Khalimov
Foilsithe / Cruthaithe: (2016-02-01)

Traces on finite W-algebras
de réir: Etingof, Pavel I., et al.
Foilsithe / Cruthaithe: (2012)

Reactive Task and Motion Planning under Temporal Logic Specifications
de réir: Li, Shen, et al.
Foilsithe / Cruthaithe: (2022)

Clock specifications for temporal tasks in planning and learning
de réir: De Giacomo, G, et al.
Foilsithe / Cruthaithe: (2024)

Specification Mining over Temporal Data
de réir: Giacomo Bergami, et al.
Foilsithe / Cruthaithe: (2023-09-01)

Iterated games with LDL goals over finite traces
de réir: Gutierrez, J, et al.
Foilsithe / Cruthaithe: (2017)

Iterative temporal planning in uncertain environments with partial satisfaction guarantees
de réir: Lahijanian, M, et al.
Foilsithe / Cruthaithe: (2016)

Hippocampal-Cortical Memory Trace Transfer and Reactivation Through Cell-Specific Stimulus and Spontaneous Background Noise
de réir: Xin Liu, et al.
Foilsithe / Cruthaithe: (2019-09-01)

Symposium 2: Retrieval and Reactivation of the Memory Trace
de réir: C. Bucherelli
Foilsithe / Cruthaithe: (1999-01-01)

Specification and Optimal Reactive Synthesis of Run-time Enforcement Shields
de réir: Paritosh K. Pandya, et al.
Foilsithe / Cruthaithe: (2019-09-01)

Traces of powers of matrices over finite fields
de réir: Gorodetsky, O, et al.
Foilsithe / Cruthaithe: (2021)

Temporal gradient-domain path tracing
de réir: Manzi, Marco, et al.
Foilsithe / Cruthaithe: (2021)

Finite traces and representations of the group of infinite matrices over a finite field
de réir: Gorin, Vadim, et al.
Foilsithe / Cruthaithe: (2018)

Multi-player games with LDL goals over finite traces
de réir: Gutierrez, J, et al.
Foilsithe / Cruthaithe: (2019)

Synthesis with rational environments
de réir: Kupferman, O, et al.
Foilsithe / Cruthaithe: (2016)

Interventions to improve contact tracing for tuberculosis in specific groups and in wider populations: an evidence synthesis
de réir: Susan Baxter, et al.
Foilsithe / Cruthaithe: (2017-01-01)

The trembling-hand problem for LTLf planning
de réir: Yu, P, et al.
Foilsithe / Cruthaithe: (2024)

Synthesis and reactivity of styrylchromones
de réir: Artur M. S. Silva, et al.
Foilsithe / Cruthaithe: (2004-02-01)

Changes in basophil reactivity and synthesis of specific immunoglobulins E influenced by allergen-immunotherapy
de réir: L. Yu. Barycheva, et al.
Foilsithe / Cruthaithe: (2023-03-01)

Synthesis from Recursive-Components Libraries
de réir: Yoad Lustig, et al.
Foilsithe / Cruthaithe: (2011-06-01)

Tracing the Historic Roots of Generalized Trust
de réir: Benjamin Wellander, et al.
Foilsithe / Cruthaithe: (2020-06-01)

Sampling-based synthesis of maximally-satisfying controllers for temporal logic specifications
de réir: Vasile, Cristian-Ioan, et al.
Foilsithe / Cruthaithe: (2018)

Trace Checking with Real−Time Specifications
de réir: Deutschmann, R, et al.
Foilsithe / Cruthaithe: (2004)

Temporal verification of reactive systems : safety /
de réir: 179321 Manna, Zohar, et al.
Foilsithe / Cruthaithe: (1995)

Human-specific epigenomic states in spermatogenesis
de réir: Caiyun Liao, et al.
Foilsithe / Cruthaithe: (2024-12-01)

Temporality and Beauty in Antony and Cleopatra
de réir: Giuseppe Di Giacomo
Foilsithe / Cruthaithe: (2018-11-01)

Temporal and Spatial Analysis of Trace Metal Ecotoxicity in Sediments of Chaohu Lake, China
de réir: Wenguang Luo, et al.
Foilsithe / Cruthaithe: (2024-12-01)

Tracing syndrome-specific trajectories of attention across the lifespan.
de réir: Cornish, K, et al.
Foilsithe / Cruthaithe: (2007)

Influence of protozoan grazing on the marine geochemistry of particle reactive trace metals
de réir: Barbeau, Katherine
Foilsithe / Cruthaithe: (2010)

Dissecting reactive astrocyte responses: lineage tracing and morphology-based clustering
de réir: Lina M. Delgado-García, et al.
Foilsithe / Cruthaithe: (2024-08-01)

Synthesis and reactivity of monothio-oxamides
de réir: Igor V. Zavarzin, et al.
Foilsithe / Cruthaithe: (2003-10-01)

An automated dynamic chamber system for surface exchange measurement of non-reactive and reactive trace gases of grassland ecosystems
de réir: L. Pape, et al.
Foilsithe / Cruthaithe: (2009-03-01)

Online control synthesis for uncertain systems under signal temporal logic specifications
de réir: Yu, P, et al.
Foilsithe / Cruthaithe: (2023)

Photometric determination of traces of metals : general aspects/
de réir: 220413 Sandell, Ernest Birger
Foilsithe / Cruthaithe: (1978)

Generalized trace pseudo-spectrum of matrix pencils
de réir: Aymen Ammar, et al.
Foilsithe / Cruthaithe: (2019-08-01)