Events

Reachability Analysis Enables Provably Correct Controller Synthesis and Safe Exploration in Reinforcement Learning

Event Type: Qualifying Exam
Speaker: Yuning Wang

Location: CoRE 305
Event Date: 11:00am - 12:00pm