Verification and Adaptation of deep neural networks

Automatic Onsite Polishing of Large Complex Surfaces by Real Time Planning and Control

Tutorial on NeuralVerification.jl

Designing robot behavior in human-robot interactions [Chinese]