Tran's Lab

icon indicating a website link https://sites.google.com/view/v2a2/group?authuser=0

icon company University of Nebraska Lincoln icon location Nebraska Lincoln icon location We are interested in formal verification, safe control synthesis, and safe/robust learning/planning for AI/CPS systems.

Results 0 repositories owned by Tran's Lab