Changliu Liu

$λ$-Reachability improves safety analysis in robotics by significantly enhancing the accuracy of safety margin estimations and safe-set classifications.

Unlock real-time robot control with diffusion models: distill complex, multi-step policies into a single, fast forward pass using a novel Koopman operator-inspired architecture.