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

Ph.D. students

• SungWoo Choi, Fall 2020-present

• Yuntao Li, Fall 2022-present

• Qing Liu, Fall 2025

Master students

• Qing Liu, 2022-2024

Undergraduates

Alumni

• Michael Ivashchenko, Master, 2023, now doing Ph.D. at UNL SoC

• Ryan Brown, undergraduate research assistant

• Apala Paramanik, Master, 2024, now doing Ph.D. at UNL SoC

• Avishek Biwas, 2021-2022

• William Anderson, 2020-2021, undergraduate research assistant