Awards

论文《Environment Modeling During Model Checking of Cyberphysical Systems》入选 Computer 2021 年 9 月号封面推荐。

临床辅助系统相关论文获最佳论文奖三项提名之一。