.png){kind=icon}
返回
Compositionality for quantitative specifications
.png){kind=icon}
PRE
AI
DOI：10.1007/s00500-017-2519-5.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
We provide a framework for compositional and iterative design and verification of systems with quantitative information, such as rewards, time or energy. It is based on disjunctive modal transition systems where we allow actions to bear various types of quantitative information. Throughout the design process, the actions can be further refined and the information made more precise. We show how to compute the results of standard operations on the systems, including the quotient (residual), which has not been previously considered for quantitative non-deterministic systems. Our quantitative framework has close connections to the modal nu-calculus and is compositional with respect to general notions of distances between systems and the standard operations.
Keyword:
Compositionality
Specification theory
Disjunctive modal transition system
Quantitative verification
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
IF:
2.5
论文数:
1.0W
被引数:
2.1W
机构
引用论文
分享收藏分享收藏Structural insights into the viral proteins binding by TRIM7 reveal a general C-terminal glutamine recognition mechanismTRIM7介导病毒蛋白结合的结构见解揭示了一种通用的C末端谷氨酰胺识别机制.png)
OAAI
IF0
OAAI分享收藏Should COVID vaccines be given yearly? Proposal divides US scientistsCOVID疫苗是否应每年接种？提案在美国科学家中引发分歧。Nature
NatureIF0
PREAI
分享收藏分享收藏
查看更多内容