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)