logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
delete
arrow
返回
I

Ivana Černá

masaryk university brno

21H指数
132论文数
1.5K被引数
收录论文 5
发表时间
logo
DiVM: Model checking with LLVM and graph memory
errJOURNAL OF SYSTEMS AND SOFTWARE
IF4.1
err2018-09-01
err11
errOAAI
errRockai, Petr; Still, Vladimir; Cerna, Ivana; Barnat, Jiri
err分享
err收藏
Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games
errNONLINEAR ANALYSIS-HYBRID SYSTEMS
IF4.1
err2017-02-01
err14
errOAAI
errSvorenova, Maria; Kretinsky, Jan; Chmelik, Martin; Chatterjee, Krishnendu; Cerna, Ivana; Belta, Calin
err分享
err收藏
Optimal Temporal Logic Control for Deterministic Transition Systems With Probabilistic Penalties
errIEEE TRANSACTIONS ON AUTOMATIC CONTROL
IF7
err2015-06-01
err6
PREAI
errSvorenova, Maria; Cerna, Ivana; Belta, Calin
err分享
err收藏
Formal analysis of piecewise affine systems through formula-guided refinement
errAUTOMATICA
IF5.9
err2013-01-01
err24
PREAI
errYordanov, Boyan; Tumova, Jana; Cerna, Ivana; Barnat, Jiri; Belta, Calin
err分享
err收藏
Temporal Logic Control of Discrete-Time Piecewise Affine Systems离散分段仿射系统的时序逻辑控制
errIEEE TRANSACTIONS ON AUTOMATIC CONTROL
IF7
err2012-06-01
err101
PREAI
errYordanov, Boyan; Tumova, Jana; Cerna, Ivana; Barnat, Jiri; Belta, Calin
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
C
Călin Belta
H 指数: 56 · 论文数: 480
K
Krishnendu Chatterjee
H 指数: 56 · 论文数: 676
J
Jan Křetínský
H 指数: 26 · 论文数: 203
J
Jǐŕı Barnat
H 指数: 25 · 论文数: 135
J
Jana Tůmová
H 指数: 24 · 论文数: 223
查看更多