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

書目詳細資料
Main Authors:	De Giacomo, G, Di Stasio, A, Tabajara, LM, Vardi, MY, Zhu, S
格式:	Journal article
語言:	English
出版:	Springer 2023

相似書籍

Reactive synthesis for finite tasks under resource constraints
由: He, K, et al.
出版: (2017)

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

Reactive Planner Synthesis Under Temporal Logic Specifications
由: Hyeonkyu Seong, et al.
出版: (2024-01-01)

Reactive synthesis of dominant strategies
由: Aminof, B, et al.
出版: (2023)

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

Specification Format for Reactive Synthesis Problems
由: Ayrat Khalimov
出版: (2016-02-01)

Traces on finite W-algebras
由: Etingof, Pavel I., et al.
出版: (2012)

Reactive Task and Motion Planning under Temporal Logic Specifications
由: Li, Shen, et al.
出版: (2022)

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

Specification Mining over Temporal Data
由: Giacomo Bergami, et al.
出版: (2023-09-01)

Iterated games with LDL goals over finite traces
由: Gutierrez, J, et al.
出版: (2017)

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

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

Symposium 2: Retrieval and Reactivation of the Memory Trace
由: C. Bucherelli
出版: (1999-01-01)

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

Traces of powers of matrices over finite fields
由: Gorodetsky, O, et al.
出版: (2021)

Temporal gradient-domain path tracing
由: Manzi, Marco, et al.
出版: (2021)

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

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

Synthesis with rational environments
由: Kupferman, O, et al.
出版: (2016)

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

The trembling-hand problem for LTLf planning
由: Yu, P, et al.
出版: (2024)

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

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

Synthesis from Recursive-Components Libraries
由: Yoad Lustig, et al.
出版: (2011-06-01)

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

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

Trace Checking with Real−Time Specifications
由: Deutschmann, R, et al.
出版: (2004)

Temporal verification of reactive systems : safety /
由: 179321 Manna, Zohar, et al.
出版: (1995)

Human-specific epigenomic states in spermatogenesis
由: Caiyun Liao, et al.
出版: (2024-12-01)

Temporality and Beauty in Antony and Cleopatra
由: Giuseppe Di Giacomo
出版: (2018-11-01)

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

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

Influence of protozoan grazing on the marine geochemistry of particle reactive trace metals
由: Barbeau, Katherine
出版: (2010)

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

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

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

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

Photometric determination of traces of metals : general aspects/
由: 220413 Sandell, Ernest Birger
出版: (1978)

Generalized trace pseudo-spectrum of matrix pencils
由: Aymen Ammar, et al.
出版: (2019-08-01)