EPSRC-Royal Society fellowship engagement (2013): Probabilistic Termination
EPSRC-Royal Society fellowship engagement (2013): Probabilistic Termination
EPSRC-皇家学会奖学金参与 (2013)：概率终止
批准号：
EP/M003795/1
负责人：
Stefan Kiefer
金额：
$26.61万
依托单位：
依托单位国家：
英国
项目类别：
Fellowship
财政年份：
2014
资助国家：
英国
项目状态：
已结题
起止时间：
2014 至 --
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
Please refer to attached Royal Society application
期刊论文(10)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
DOI：
10.1109/lics.2015.15
发表时间：
2015
期刊：
影响因子：
--
作者：
[Brazdil T]
通讯作者：
Brazdil T
DOI：
10.1137/16m1078835
发表时间：
2017
期刊：
SIAM Journal on Applied Algebra and Geometry
影响因子：
1.2
作者：
[Chistikov D]
通讯作者：
Chistikov D
DOI：
10.1016/j.ipl.2015.09.015
发表时间：
2015-01
期刊：
ArXiv
影响因子：
--
作者：
[C. Haase;S. Kiefer]
通讯作者：
C. Haase;S. Kiefer
DOI：
10.4230/lipics.icalp.2016.104
发表时间：
2015-04
期刊：
影响因子：
--
作者：
[M. Bruna;Radu Grigore;S. Kiefer;Joël Ouaknine;J. Worrell]
通讯作者：
M. Bruna;Radu Grigore;S. Kiefer;Joël Ouaknine;J. Worrell
Computer Aided Verification - 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I
计算机辅助验证 - 第 27 届国际会议，CAV 2015，美国加利福尼亚州旧金山，2015 年 7 月 18-24 日，会议记录，第一部分
计算机辅助验证 - 第 27 届国际会议，CAV 2015，美国加利福尼亚州旧金山，2015 年 7 月 18-24 日，会议记录，第一部分
DOI：
10.1007/978-3-319-21690-4_17
发表时间：
2015
期刊：
影响因子：
--
作者：
[Grigore R]
通讯作者：
Grigore R
共 6 条
Towards comprehensive verification of stochastic systems
-
批准号：EP/M023656/1
-
项目类别：Research Grant
-
资助金额：$12.43万
-
财政年份：2015
-
负责人：Stefan Kiefer
-
依托单位：
海外基金