|
已选(0)清除
条数/页： 排序方式：
|
| BISIMULATIONS OF BOOLEAN CONTROL NETWORKS 期刊论文
SIAM JOURNAL ON CONTROL AND OPTIMIZATION, 2018, 卷号: 56, 页码: 388-416
作者: Li, Rui; Chu, Tianguang; Wang, Xingyuan
  收藏 | 浏览/下载：4/0 | 提交时间：2019/12/02
|
| Differential privacy in probabilistic systems 期刊论文
INFORMATION AND COMPUTATION, 2017
Yang, Jiannan; Cao, Yongzhi; Wang, Hanpin
收藏 | 浏览/下载：3/0 | 提交时间：2017/12/03
|
| Robust model equivalence using stochastic bisimulation for N-agent interactive DIDs 会议论文
33rd Conference on Uncertainty in Artificial Intelligence, UAI 2017, Sydney, NSW, Australia, 2017-08-11
作者: Chandrasekaran, Muthukumaran; Zhang, Junhuan; Doshi, Prashant; Zeng, Yifeng
收藏 | 浏览/下载：3/0 | 提交时间：2019/12/30 |
| Deciding probabilistic automata weak bisimulation: theory and practice 期刊论文
FORMAL ASPECTS OF COMPUTING, 2016, 卷号: 28, 期号: 1, 页码: 109-143
Fioriti, LMF; Hashemi, V; Hermanns, H; Turrini, A
收藏 | 浏览/下载：20/0 | 提交时间：2016/12/09
|
| Complete Proof Systems for Amortised Probabilistic Bisimulations 期刊论文
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2016, 卷号: 31, 期号: 2, 页码: 300-316
Xu, LL; Lin, HM
收藏 | 浏览/下载：14/0 | 提交时间：2016/12/09
|
| Refinement of actions for real-time concurrent systems with causal ambiguity 期刊论文
2015, 2015
Mila Majster-Cederbaum; Jinzhao Wu; Houguang Yue
收藏 | 浏览/下载：4/0 | 提交时间：2017/06/19
|
| Stochastic Process Algebra with Value-Passing and Weak Time Restrictions 期刊论文
2015, 2015
Guang Zheng; Jinzhao Wu; Aiping Lu
收藏 | 浏览/下载：5/0 | 提交时间：2017/06/19
|
| Towards action refinement for true concurrent real time 期刊论文
2015, 2015
Mila Majster-Cederbaum; Jinzhao Wu
收藏 | 浏览/下载：4/0 | 提交时间：2017/06/19
|
| Approximate Bisimulation for High-Level Datapaths in Intelligent Transportation Systems 期刊论文
2015, 2015
Hui Deng; Jinzhao Wu; Hongyan Tan
收藏 | 浏览/下载：4/0 | 提交时间：2017/06/19
|
| Approximate Bisimulation and Its Applications for Polynomial Algebraic System Based on Symbolic and Numerical Calculation 期刊论文
2015, 2015
Hui Deng; Jinzhao Wu
收藏 | 浏览/下载：11/0 | 提交时间：2017/06/19
|
