Blending Kinematic and Software Models for Tighter Reachability Analysis
Date:
Carl Hildebrandt
Ph.D. Student at the University of Virginia. Interested in the validation and verification of autonomous systems.
- Virginia, USA
- Lab Website
- Github
- Google Scholar