research
∙
03/27/2023
A Generalized Hybrid Hoare Logic
Deductive verification of hybrid systems (HSs) increasingly attracts mor...
share
research
∙
03/01/2021
PENet: Towards Precise and Efficient Image Guided Depth Completion
Image guided depth completion is the task of generating a dense depth ma...
research
∙
01/05/2021
Self-supervised Visual-LiDAR Odometry with Flip Consistency
Most learning-based methods estimate ego-motion by utilizing visual sens...
research
∙
09/19/2017