CIS 6730: Computer-Aided Verification
, University of Pennsylvania, 2023
Christopher Watson
Ph.D. student working at the intersection of robot learning and formal methods.
- Philadelphia, PA
- University of Pennsylvania
- Website
- Google Scholar
, University of Pennsylvania, 2023