Verification and Validation for Assured Autonomy (V2A2)

Research focus

We are interested in specification language, formal verification, monitoring, safe control, planning, and learning for autonomous cyber-physical systems, focusing on in-road and off-road autonomous driving, human-robot-interaction in construction and surgery. We develop both software and hardware prototypes for our research. 

Github: https://github.com/V2A2

Members

Faculty: Hoang-Dung Tran

Assistant Professor

Ph.D. students

Master students

Undergraduates

Alumni