Deductive verification of hybrid systems (HSs) increasingly attracts mor...
Image guided depth completion is the task of generating a dense depth ma...
Most learning-based methods estimate ego-motion by utilizing visual sens...
Delay is omnipresent in modern control systems, which can prompt oscilla...