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