清华大学计算机系量子软件研究中心
清华大学计算机系量子软件研究中心
新闻动态
团队成员
学术活动
论文发表
Continuous-Time Markov Chains
Precisely deciding CSL formulas through approximate model checking for CTMCs
The model checking problem of continuous-time Markov chains with respect to continuous-time stochastic logic was introduced and shown …
Yuan Feng
,
Lijun Zhang
引用
DOI
URL
引用
×