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.
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.
