Yulong Gao
Scholar

Yulong Gao

Google Scholar ID: xBkFTSQAAAAJ
Department of Electrical and Electronic Engineering, Imperial College London
Control theoryNetworked systemsFormal verificationSafe autonomyHuman-in-the-Loop Control
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
907
 
H-index
14
 
i10-index
20
 
Publications
20
 
Co-authors
8
list available
Contact
No contact links provided.
Publications
5 items
Provably Guaranteed Polytopic Uncertainty Quantification for SLAM
2026
Cited
0
Ensuring Logic in the Fog: Sound POMDP Synthesis with LTL Objectives
2026
Cited
0
V2X-RECT: An Efficient V2X Trajectory Prediction Framework via Redundant Interaction Filtering and Tracking Error Correction
2025
Cited
0
DART: Dual-level Autonomous Robotic Topology for Efficient Exploration in Unknown Environments
2025
Cited
0
Robust Predictive Motion Planning by Learning Obstacle Uncertainty
arXiv.org · 2024
Cited
1
Resume (English only)
Co-authors
8 total
Co-author 1
Co-author 1
Karl H. Johansson
Karl H. Johansson
EECS and Digital Futures, KTH Royal Institute of Technology, Sweden
Lihua Xie
Lihua Xie
Professor of Electrical Engineering, Nanyang Technological University
Mark Cannon
Mark Cannon
University of Oxford
Alessandro Abate
Alessandro Abate
Professor of Verification and Control, University of Oxford, UK
Frank J. Jiang
Frank J. Jiang
EECS and Digital Futures, KTH Royal Institute of Technology, Stockholm
Dimos Dimarogonas
Dimos Dimarogonas
KTH Royal Institute of Technology
Pian Yu
Pian Yu
UCL Computer Science