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

Volledige beschrijving

Bibliografische gegevens
Hoofdauteurs:	De Giacomo, G, Di Stasio, A, Tabajara, LM, Vardi, MY, Zhu, S
Formaat:	Journal article
Taal:	English
Gepubliceerd in:	Springer 2023

Gelijkaardige items

Reactive synthesis for finite tasks under resource constraints
door: He, K, et al.
Gepubliceerd in: (2017)

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

Reactive Planner Synthesis Under Temporal Logic Specifications
door: Hyeonkyu Seong, et al.
Gepubliceerd in: (2024-01-01)

Reactive synthesis of dominant strategies
door: Aminof, B, et al.
Gepubliceerd in: (2023)

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

Specification Format for Reactive Synthesis Problems
door: Ayrat Khalimov
Gepubliceerd in: (2016-02-01)

Traces on finite W-algebras
door: Etingof, Pavel I., et al.
Gepubliceerd in: (2012)

Reactive Task and Motion Planning under Temporal Logic Specifications
door: Li, Shen, et al.
Gepubliceerd in: (2022)

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

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

Iterated games with LDL goals over finite traces
door: Gutierrez, J, et al.
Gepubliceerd in: (2017)

Specification Mining over Temporal Data
door: Giacomo Bergami, et al.
Gepubliceerd in: (2023-09-01)

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

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

Traces of powers of matrices over finite fields
door: Gorodetsky, O, et al.
Gepubliceerd in: (2021)

Symposium 2: Retrieval and Reactivation of the Memory Trace
door: C. Bucherelli
Gepubliceerd in: (1999-01-01)

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

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

Temporal gradient-domain path tracing
door: Manzi, Marco, et al.
Gepubliceerd in: (2021)

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

Synthesis with rational environments
door: Kupferman, O, et al.
Gepubliceerd in: (2016)

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

The trembling-hand problem for LTLf planning
door: Yu, P, et al.
Gepubliceerd in: (2024)

Synthesis from Recursive-Components Libraries
door: Yoad Lustig, et al.
Gepubliceerd in: (2011-06-01)

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

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

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

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

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

Trace Checking with Real−Time Specifications
door: Deutschmann, R, et al.
Gepubliceerd in: (2004)

Temporal verification of reactive systems : safety /
door: 179321 Manna, Zohar, et al.
Gepubliceerd in: (1995)

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

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

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

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

Influence of protozoan grazing on the marine geochemistry of particle reactive trace metals
door: Barbeau, Katherine
Gepubliceerd in: (2010)

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

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

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

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