首页> 外文OA文献 >On Verification of Probabilistic Timed Automata against Probabilistic Duration Properties

【2h】

On Verification of Probabilistic Timed Automata against Probabilistic Duration Properties

机译：关于概率时间属性的概率时间自动机验证

页面导航

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

著录项

作者
Dang Van Hung; Zhang Miaomiao;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. p-Automata: New foundations for discrete-time probabilistic verification [J] . Michael Huth, Nir Piterman, Daniel Wagner Performance Evaluation . 2012,第7a8期

机译：p-Automata：离散时间概率验证的新基础
2. A note on the verification of automata specifications of probabilistic real-time systems [J] . Arnaldo V. Moura, Guilherme A. Pinto Information Processing Letters . 2002,第5期

机译：关于验证概率实时系统自动机规格的说明
3. Verifying Automata Specification of Distributed Probabilistic Real-Time Systems [J] . Luo Tiegeng, Chen Huowang, Wang Bingshan Journal of Computer Science & Technology . 1998,第Suppl期

机译：验证分布式概率实时系统的自动机规范
4. On Verification of Probabilistic Timed Automata against Probabilistic Duration Properties [C] . Van Hung, Dang, Zhang, . 2007

机译：关于概率持续时间属性的概率定时自动机的验证
5. Probabilistic constraint nets: A formal framework for the modeling and verification of probabilistic hybrid systems. [D] . St-Aubin, Robert Jr. 2005

机译：概率约束网：用于概率混合系统建模和验证的正式框架。
6. A Formal Model for Semantic Computing Based on Generalized Probabilistic Automata [O] . Guangjian Huang, Shahbaz Hassan Wasti, Lina Wei, 2019

机译：基于广义概率自动机的语义计算形式模型
7. Verifying Probabilistic Timed Automata Against Omega-Regular Dense-Time Properties [O] . Fu, Hongfei, Li, Yi, Li, Jianlin, 2017

机译：验证概率时间自动机对抗Omega-Regular密集时间属性
8. Properties of Probabilistic Pushdown Automata [R] . Macarie, I. I., Ogihara, M. 1994

机译：概率下推自动机的性质

On Verification of Probabilistic Timed Automata against Probabilistic Duration Properties

著录项

引文网络

相似文献

相关主题

期刊订阅