影响力指数

-/100

发表论文1 篇

平均评分2.0

年均产出1.0 篇/年

AI 学术分析

Laura Bussi

Postdoc@University of Luxemburg·LU·OpenReview

研究方向

Logic · Model Checking · Formal Methods

发表论文（1 篇）

ICLR 2026Rejected

合作者 (4)

Eleonora Giunchiglia

博后导师1 篇

Vincenzo Collura