影响力指数
论文质量、代表作、近期表现、广度与样本量置信度综合计算
16.48/100
超过 49.7%
全站排名 #32,356
发表论文1 篇
平均评分
年均产出1.0 篇/年
AI 学术分析
Sabine Rieder
研究方向
Neural Network Verification · Neural Network Abstraction · Runtime Monitoring of Neural Networks · LTL Synthesis
Neural Network Verification · Neural Network Abstraction · Runtime Monitoring of Neural Networks · LTL Synthesis