影响力指数
论文质量、代表作、近期表现、广度与样本量置信度综合计算
21.58/100
前 38.1%
全站排名 #24,517
发表论文2 篇
平均评分
年均产出1.0 篇/年
AI 学术分析
Goran Frehse
研究方向
formal methods · verification · model checking · abstract interpretation · cyber-physical systems · embedded systems · safety-critical systems · safe reinforcement learning · safety shield · supervision of AI components · monitoring of AI components