Abstract:
Overview: The human cost of transportation in the US reaches an unnecessary 33000 fatalities and 2.2 million injuries every year. The inefficiency of road transportation also burdens our economy, with only the cost of fuel wasted in traffic reaching $88 billion a year.
Submitted by Yaser Fallah on February 1st, 2016
Abstract:
The use of deductive techniques, such as theorem provers, has several advantages in safety verification of hybrid systems. State-of-the-art theorem provers, however, suffer from a significant lack of automation.
Submitted by Nikos Arechiga on November 10th, 2014
Submitted by Jessy Grizzle on November 6th, 2014
Submitted by Bruce Krogh on November 3rd, 2011