机构

• 数学与系统科学研究院 [1]
• 上海光学精密机械研究... [1]
• 软件研究所 [1]

采集方式

• OAI收割 [3]

内容类型

• 期刊论文 [2]
• 会议论文 [1]

发表日期

• 2016 [1]
• 2013 [1]
• 1993 [1]

学科主题

筛选

浏览/检索结果: 共3条，第1-3条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序提交时间升序提交时间降序作者升序作者降序发表日期升序发表日期降序 Asymptotic Perturbation Bounds for Probabilistic Model Checking with Empirically Determined Probability Parameters 期刊论文  OAI收割 IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2016, 卷号: 42, 期号: 7, 页码: 623-639 作者:  Su, Guoxin;  Feng, Yuan;  Chen, Taolue;  Rosenblum, David S.   |  收藏  |  浏览/下载：30/0  |  提交时间：2018/07/30 Asymptotic perturbation bound  discrete-time Markov chain  numerical iteration  optimization  parametric Markov chain  perturbation analysis  probabilistic model checking  quadratic programming   Model repair for Markov decision processes 会议论文  OAI收割 2013 International Symposium on Theoretical Aspects of Software Engineering, TASE 2013, Birmingham, United kingdom, July 1, 2013 - July 3, 2013 Chen, Taolue (1); Hahn, Ernst Moritz (1); Han, Tingting (1); Kwiatkowska, Marta (1); Qu, Hongyang (2); Zhang, Lijun (3)   |  收藏  |  浏览/下载：21/0  |  提交时间：2014/12/16 Colliding pulse mode-locked Nd:YLF laser with negative feedback control by GaAs photoconductive switch. 期刊论文  OAI收割 chin.j.lasers, 1993, 卷号: b2, 期号: 2, 页码: 109, 112 朱健强; 张筑虹; 陈绍和; Chen Taolue; Chen Youming; Lu Qirong; Guo Xiaodong; 范滇元; 邓锡铭 收藏  |  浏览/下载：1063/199  |  提交时间：2009/09/18