Haiyang Bai

Publication Activity (10 Years)

Years Active: 2016-2023
Publications (10 Years): 3

Top Topics

Source Localization

Top Venues

计算机科学

Publications

Wenzhi Guo, Haiyang Bai, Yuanqu Mou, Jia Liu, Lijun Chen
FVLoc-NeRF : Fast Vision-Only Localization within Neural Radiation Field. IROS (2023)
Ningmin Shen, Jing Li, Haiyang Bai, Yi Zhuang
基于Uppaal的实时系统AADL数据流模型的转换与验证 (Transformation and Verification Method of AADL Data Flows for Real-time System Using Uppaal). 计算机科学 43 (1) (2016)
Dachuan Liang, Jing Li, Haiyang Bai, Huafeng Lin
Automatic Conversion and Verification System Based on AADL Scheduling Model. TASE (2016)