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

Бүрэн тодорхойлолт

Номзүйн дэлгэрэнгүй
Үндсэн зохиолчид:	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, зэрэг
Хэвлэсэн: (2017)

LTLf synthesis under environment specifications for reachability and safety properties
-н: Aminof, B, зэрэг
Хэвлэсэн: (2023)

Reactive Planner Synthesis Under Temporal Logic Specifications
-н: Hyeonkyu Seong, зэрэг
Хэвлэсэн: (2024-01-01)

Reactive synthesis of dominant strategies
-н: Aminof, B, зэрэг
Хэвлэсэн: (2023)

Solving parity games using an automata-based algorithm
-н: Di Stasio, A, зэрэг
Хэвлэсэн: (2016)

Specification Format for Reactive Synthesis Problems
-н: Ayrat Khalimov
Хэвлэсэн: (2016-02-01)

Traces on finite W-algebras
-н: Etingof, Pavel I., зэрэг
Хэвлэсэн: (2012)

Reactive Task and Motion Planning under Temporal Logic Specifications
-н: Li, Shen, зэрэг
Хэвлэсэн: (2022)

Clock specifications for temporal tasks in planning and learning
-н: De Giacomo, G, зэрэг
Хэвлэсэн: (2024)

Specification Mining over Temporal Data
-н: Giacomo Bergami, зэрэг
Хэвлэсэн: (2023-09-01)

Iterated games with LDL goals over finite traces
-н: Gutierrez, J, зэрэг
Хэвлэсэн: (2017)

Iterative temporal planning in uncertain environments with partial satisfaction guarantees
-н: Lahijanian, M, зэрэг
Хэвлэсэн: (2016)

Hippocampal-Cortical Memory Trace Transfer and Reactivation Through Cell-Specific Stimulus and Spontaneous Background Noise
-н: Xin Liu, зэрэг
Хэвлэсэн: (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, зэрэг
Хэвлэсэн: (2019-09-01)

Traces of powers of matrices over finite fields
-н: Gorodetsky, O, зэрэг
Хэвлэсэн: (2021)

Temporal gradient-domain path tracing
-н: Manzi, Marco, зэрэг
Хэвлэсэн: (2021)

Finite traces and representations of the group of infinite matrices over a finite field
-н: Gorin, Vadim, зэрэг
Хэвлэсэн: (2018)

Multi-player games with LDL goals over finite traces
-н: Gutierrez, J, зэрэг
Хэвлэсэн: (2019)

Synthesis with rational environments
-н: Kupferman, O, зэрэг
Хэвлэсэн: (2016)

Interventions to improve contact tracing for tuberculosis in specific groups and in wider populations: an evidence synthesis
-н: Susan Baxter, зэрэг
Хэвлэсэн: (2017-01-01)

The trembling-hand problem for LTLf planning
-н: Yu, P, зэрэг
Хэвлэсэн: (2024)

Synthesis and reactivity of styrylchromones
-н: Artur M. S. Silva, зэрэг
Хэвлэсэн: (2004-02-01)

Changes in basophil reactivity and synthesis of specific immunoglobulins E influenced by allergen-immunotherapy
-н: L. Yu. Barycheva, зэрэг
Хэвлэсэн: (2023-03-01)

Synthesis from Recursive-Components Libraries
-н: Yoad Lustig, зэрэг
Хэвлэсэн: (2011-06-01)

Tracing the Historic Roots of Generalized Trust
-н: Benjamin Wellander, зэрэг
Хэвлэсэн: (2020-06-01)

Sampling-based synthesis of maximally-satisfying controllers for temporal logic specifications
-н: Vasile, Cristian-Ioan, зэрэг
Хэвлэсэн: (2018)

Trace Checking with Real−Time Specifications
-н: Deutschmann, R, зэрэг
Хэвлэсэн: (2004)

Temporal verification of reactive systems : safety /
-н: 179321 Manna, Zohar, зэрэг
Хэвлэсэн: (1995)

Human-specific epigenomic states in spermatogenesis
-н: Caiyun Liao, зэрэг
Хэвлэсэн: (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, зэрэг
Хэвлэсэн: (2024-12-01)

Tracing syndrome-specific trajectories of attention across the lifespan.
-н: Cornish, K, зэрэг
Хэвлэсэн: (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, зэрэг
Хэвлэсэн: (2024-08-01)

Synthesis and reactivity of monothio-oxamides
-н: Igor V. Zavarzin, зэрэг
Хэвлэсэн: (2003-10-01)

An automated dynamic chamber system for surface exchange measurement of non-reactive and reactive trace gases of grassland ecosystems
-н: L. Pape, зэрэг
Хэвлэсэн: (2009-03-01)

Online control synthesis for uncertain systems under signal temporal logic specifications
-н: Yu, P, зэрэг
Хэвлэсэн: (2023)

Photometric determination of traces of metals : general aspects/
-н: 220413 Sandell, Ernest Birger
Хэвлэсэн: (1978)

Generalized trace pseudo-spectrum of matrix pencils
-н: Aymen Ammar, зэрэг
Хэвлэсэн: (2019-08-01)