科言猫
学术研究的AI总结
首页
文献互助
订阅
我的收藏
科研工具
选题分析
论文总结
专利管理
未登录
返回
R
Ralf Wimmer
Saarland University
23
H指数
84
论文数
1.2K
被引数
0
相关解读
订阅
收录论文
3
发表时间
发表时间
IF
被引数
Strategy Synthesis for POMDPs in Robot Planning via Game-Based Abstractions
IEEE TRANSACTIONS ON AUTOMATIC CONTROL
IF
7
2021-03-01
6
OA
AI
Winterer, Leonore; Junges, Sebastian; Wimmer, Ralf; Jansen, Nils; Topcu, Ufuk; Katoen, Joost-Pieter; Becker, Bernd
分享
收藏
Transient Reward Approximation for Continuous-Time Markov Chains
连续时间马尔可夫链的瞬态奖励逼近
IEEE TRANSACTIONS ON RELIABILITY
IF
5.7
2015-12-01
4
OA
AI
Hahn, Ernst Moritz; Hermanns, Holger; Wimmer, Ralf; Becker, Bernd
分享
收藏
Compositional Dependability Evaluation for STATEMATE
STATEMATE的成分可信性评估
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF
5.6
2009-03-01
27
PRE
AI
Boede, Eckard; Herbstritt, Marc; Hermanns, Holger; Johr, Sven; Peikenkamp, Thomas; Pulungan, Reza; Rakow, Jan; Wimmer, Ralf; Becker, Bernd
分享
收藏
研究方向
暂时未获取到该数据
合作学者
合作期刊
J
Joost-Pieter Katoen
H 指数: 58 · 论文数: 636
H
Holger Hermanns
H 指数: 51 · 论文数: 414
U
Ufuk Topcu
H 指数: 46 · 论文数: 663
B
Bernd Becker
H 指数: 39 · 论文数: 686
N
Nils Jansen
H 指数: 26 · 论文数: 267
查看更多