Ruofei Bai

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 9

Top Topics

Mazurkiewicz Traces

Temporally Extended

Reactive Systems

Top Venues

IEEE Robotics Autom. Lett.

Robotics Auton. Syst.

HPCC/SmartCity/DSS

Publications

Ruofei Bai, Hongliang Guo, Wei-Yun Yau, Lihua Xie
Graph-Based SLAM-Aware Exploration With Prior Topo-Metric Information. IEEE Robotics Autom. Lett. 9 (9) (2024)
Ruofei Bai, Shenghai Yuan, Hongliang Guo, Pengyu Yin, Wei-Yun Yau, Lihua Xie
Collaborative Graph Exploration with Reduced Pose-SLAM Uncertainty via Submodular Optimization. CoRR (2024)
Ruofei Bai, Hongliang Guo, Wei-Yun Yau, Lihua Xie
Graph-based SLAM-Aware Exploration with Prior Topo-Metric Information. CoRR (2023)
Ruofei Bai, Ronghao Zheng, Yang Xu, Meiqin Liu, Senlin Zhang
Hierarchical multi-robot strategies synthesis and optimization under individual and collaborative temporal logic specifications. Robotics Auton. Syst. 153 (2022)
Ruofei Bai, Cheng Ling, Lei Cai, Jingyang Gao
Cnngeno: A high-precision deep learning based strategy for the calling of structural variation genotype. Comput. Biol. Chem. 94 (2021)
Ruofei Bai, Ronghao Zheng, Meiqin Liu, Senlin Zhang
Multi-Robot Task Planning under Individual and Collaborative Temporal Logic Specifications. CoRR (2021)
Ruofei Bai, Ronghao Zheng, Meiqin Liu, Senlin Zhang
Multi-Robot Task Planning under Individual and Collaborative Temporal Logic Specifications. IROS (2021)
Ruofei Bai, Ronghao Zheng, Yang Xu, Meiqin Liu, Senlin Zhang
Hierarchical Multi-robot Strategies Synthesis and Optimization under Individual and Collaborative Temporal Logic Specifications. CoRR (2021)
Ruofei Bai, Liwei Gao, Cheng Ling, Jingyang Gao
CnnSV-Typer: Calling of Structural Variation Genotype Based on CUDA Acceleration. HPCC/SmartCity/DSS (2019)