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

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

2022 International Conference on Embedded Software (EMSOFT)（2022）

引用 0|浏览37

暂无评分

摘要

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.

查看译文

关键词

Quantitative Semantics,Signal temporal logic

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要