Work-in-Progress: Towards a Theory of Robust Quantitative Semantics for Signal Temporal Logic

2022 International Conference on Embedded Software (EMSOFT) Pub Date : 2022-10-01 DOI:10.1109/EMSOFT55006.2022.00013

Jean-Baptiste Jeannin, Jiawei Chen, José Luiz Vargas de Mendonça, Konstantinos Mamouras

引用次数: 0

Abstract

Several quantitative semantics of temporal logics have been investigated recently. We propose a general form to model those quantitative semantics, establish requirements for soundness, and evaluate the framework on a few examples.

查看原文本刊更多论文

研究进展:讯号时序逻辑的稳健量化语义理论

近年来，人们对时间逻辑的几种定量语义进行了研究。我们提出了一个通用的形式来建模这些定量语义，建立健全的要求，并在几个例子上评估框架。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

2022 International Conference on Embedded Software (EMSOFT)

自引率

0.00%

发文量