https://citris-uc.org/event/control-design-for-autonomous-vehicles-in-uncertain-environments/