Zhiyong Sun

This study develops a controller for autonomous vehicles to enhance safety in traffic.

A new planner improves how robots understand spoken commands using formal specifications.

A new approach to help self-driving cars make safer decisions on the road.