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

Bibliografske podrobnosti
Main Authors:	De Giacomo, G, Di Stasio, A, Tabajara, LM, Vardi, MY, Zhu, S
Format:	Journal article
Jezik:	English
Izdano:	Springer 2023

Podobne knjige/članki

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

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

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

Reactive synthesis of dominant strategies
od: Aminof, B, et al.
Izdano: (2023)

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

Specification Format for Reactive Synthesis Problems
od: Ayrat Khalimov
Izdano: (2016-02-01)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Synthesis with rational environments
od: Kupferman, O, et al.
Izdano: (2016)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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