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

Deskribapen osoa

Xehetasun bibliografikoak
Egile Nagusiak:	De Giacomo, G, Di Stasio, A, Tabajara, LM, Vardi, MY, Zhu, S
Formatua:	Journal article
Hizkuntza:	English
Argitaratua:	Springer 2023

Antzeko izenburuak

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

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

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

Reactive synthesis of dominant strategies
nork: Aminof, B, et al.
Argitaratua: (2023)

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

Specification Format for Reactive Synthesis Problems
nork: Ayrat Khalimov
Argitaratua: (2016-02-01)

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

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

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

Integrating Temporal Information Into Knowledge Tracing: A Temporal Difference Approach
nork: Junhu Zhu, et al.
Argitaratua: (2018-01-01)

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

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

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

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

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

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

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

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

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

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

Synthesis with rational environments
nork: Kupferman, O, et al.
Argitaratua: (2016)

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

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

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

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

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

IASI measurements of reactive trace species in biomass burning plumes
nork: P.-F. Coheur, et al.
Argitaratua: (2009-08-01)

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

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

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

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

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

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

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

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

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

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

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

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

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