首页> 外文OA文献 >Leveraging Weighted Automata in Compositional Reasoning about Concurrent Probabilistic Systems

【2h】

Leveraging Weighted Automata in Compositional Reasoning about Concurrent Probabilistic Systems

机译：利用加权自动机在构成概率系统的组成推理中

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Fei He; Xiaowei Gao; Bow-Yaw Wang; Lijun Zhang;
展开▼
作者单位

展开▼
年度 2015
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Leveraging Weighted Automata in Compositional Reasoning about Concurrent Probabilistic Systems [J] . He Fei, Gao Xiaowei, Wang Bow-Yaw, ACM SIGPLAN Notices: A Monthly Publication of the Special Interest Group on Programming Languages . 2015,第1期

机译：并发概率系统在组合推理中利用加权自动机
2. Mechanizing compositional reasoning for concurrent systems: some lessons [J] . Sidi O. Ehmety, Lawrence C. Paulson Formal Aspects of Computing . 2005,第1期

机译：机械化并发系统的组成推理：一些经验教训
3. Probabilistic contracts: a compositional reasoning methodology for the design of systems with stochastic and/or non-deterministic aspects [J] . Benoit Delahaye, Benoit Caillaud, Axel Legay Formal Methods in System Design . 2011,第1期

机译：概率合同：一种用于设计具有随机和/或非确定性方面的系统的组成推理方法
4. Probabilistic Contracts: A Compositional Reasoning Methodology for the Design ofStochastic Systems [C] . Benoit Delahaye, Benoit Caillaud, Axel Legay International Conference on Application of Concurrency to System Design . 2010

机译：概率合同：用于阶级系统设计的组成推理方法
5. Probabilistic reasoning and learning on permutations: Exploiting structural decompositions of the symmetric group. [D] . Huang, Jonathan. 2011

机译：概率推理和置换学习：利用对称群的结构分解。
6. A Formal Model for Semantic Computing Based on Generalized Probabilistic Automata [O] . Guangjian Huang, Shahbaz Hassan Wasti, Lina Wei, 2019

机译：基于广义概率自动机的语义计算形式模型
7. Compositional Stochastic Model Checking Probabilistic Automata via Assume-guarantee Reasoning [O] . Yang Liu, Rui Li 2020

机译：通过假设验证推理检查概率自动机的组成随机模型

Leveraging Weighted Automata in Compositional Reasoning about Concurrent Probabilistic Systems

著录项

引文网络

相似文献

相关主题

期刊订阅