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

Andrea Turrini

chinese academy of sciences

13H指数
77论文数
715被引数
收录论文 4
发表时间
logo
SAT-Based Synthesis of Minimal Deterministic Real-Time Automata via 3DRTA Representation基于SAT的极小确定性实时自动机的3DRTA表示合成
errVERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, VMCAI 2026
IF0
err2026-01-01
err0
PREAI
errMeng, Junjie; An, Jie; Li, Yong; Turrini, Andrea; Zhang, Miaomiao
err分享
err收藏
A symbolic algorithm for the case-split rule in solving word constraints with extensions br
errJOURNAL OF SYSTEMS AND SOFTWARE
IF4.1
err2023-07-01
err2
PREAI
errChen, Yu -Fang; Havlena, Vojtech; Lengal, Ondrej; Turrini, Andrea
err分享
err收藏
Probabilistic Preference Planning Problem for Markov Decision Processes
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err2022-05-01
err3
errOAAI
errLi, Meilun; Turrini, Andrea; Hahn, Ernst Moritz; She, Zhikun; Zhang, Lijun
err分享
err收藏
An Axiom System of Probabilistic Mu-Calculus概率 μ-演算的公理系统
errTSINGHUA SCIENCE AND TECHNOLOGY
IF3.5
err2022-04-01
err0
errOAAI
errLiu, Wanwei; Xu, Junnan; Jansen, David N.; Turrini, Andrea; Zhang, Lijun
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
L
Lijun Zhang
H 指数: 28 · 论文数: 273
Y
Yu‐Fang Chen
H 指数: 26 · 论文数: 180
E
Ernst Moritz Hahn
H 指数: 24 · 论文数: 117
D
David N. Jansen
H 指数: 21 · 论文数: 115
Z
Zhikun She
H 指数: 20 · 论文数: 110
查看更多