research
∙
05/26/2022
Efficient textual explanations for complex road and traffic scenarios based on semantic segmentation
The complex driving environment brings great challenges to the visual pe...
share
research
∙
07/16/2020
Specification mining and automated task planning for autonomous robots based on a graph-based spatial temporal logic
We aim to enable an autonomous robot to learn new skills from demo video...
research
∙
01/20/2020
A graph-based spatial temporal logic for knowledge representation and automated reasoning in cognitive robots
A new graph-based spatial temporal logic is proposed for knowledge repre...
research
∙
06/24/2019
Respiratory Motion Correction in Abdominal MRI using a Densely Connected U-Net with GAN-guided Training
Abdominal magnetic resonance imaging (MRI) provides a straightforward wa...
research
∙
02/13/2018
Parameter and Insertion Function Co-synthesis for Opacity Enhancement in Parametric Stochastic Discrete Event Systems
Opacity is a property that characterizes the system's capability to keep...
research
∙
05/29/2017
