Zobrazeno 1 - 10
of 134
pro vyhledávání: '"Tonetta, Stefano"'
Runtime verification of temporal properties over timed sequences of observations is crucial in various applications within cyber-physical systems ranging from autonomous vehicles over smart grids to medical devices. In this paper, we are addressing t
Externí odkaz:
http://arxiv.org/abs/2409.05456
We introduce and investigate a powerful hyper logical framework in the linear-time setting, we call generalized HyperLTL with stuttering and contexts (GHyperLTL_SC for short). GHyperLTL_SC unifies known asynchronous extensions of HyperLTL and the wel
Externí odkaz:
http://arxiv.org/abs/2404.16778
Autor:
Bombardelli, Alberto, Tonetta, Stefano
The verification of asynchronous software components poses significant challenges due to the way components interleave and exchange input/output data concurrently. Compositional strategies aim to address this by separating the task of verifying indiv
Externí odkaz:
http://arxiv.org/abs/2312.14831
Publikováno v:
EPTCS 395, 2023, pp. 113-129
With increasing complexity of Automated Driving Systems (ADS), ensuring their safety and reliability has become a critical challenge. The Verification and Validation (V&V) of these systems are particularly demanding when AI components are employed to
Externí odkaz:
http://arxiv.org/abs/2311.09784
Publikováno v:
Logical Methods in Computer Science, Volume 19, Issue 3 (August 10, 2023) lmcs:10061
Linear Temporal Logic (LTL) is one of the most popular temporal logics, that comes into play in a variety of branches of computer science. Among the various reasons of its widespread use there are its strong foundational properties: LTL is equivalent
Externí odkaz:
http://arxiv.org/abs/2209.02307
We present VMT-LIB, a language for the representation of verification problems of linear-time temporal properties on infinite-state symbolic transition systems. VMT-LIB is an extension of the standard SMT-LIB language for SMT solvers, developed with
Externí odkaz:
http://arxiv.org/abs/2109.12821
Publikováno v:
EPTCS 346, 2021, pp. 152-165
Extended Bounded Response LTL with Past (LTLEBR+P) is a safety fragment of Linear Temporal Logic with Past (LTL+P) that has been recently introduced in the context of reactive synthesis. The strength of LTLEBR+P is a fully symbolic compilation of for
Externí odkaz:
http://arxiv.org/abs/2109.08319
