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

Fuld beskrivelse

Bibliografiske detaljer
Main Authors:	De Giacomo, G, Di Stasio, A, Tabajara, LM, Vardi, MY, Zhu, S
Format:	Journal article
Sprog:	English
Udgivet:	Springer 2023

Lignende værker

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

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

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

Reactive synthesis of dominant strategies
af: Aminof, B, et al.
Udgivet: (2023)

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

Specification Format for Reactive Synthesis Problems
af: Ayrat Khalimov
Udgivet: (2016-02-01)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Synthesis with rational environments
af: Kupferman, O, et al.
Udgivet: (2016)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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