Probabilistic and Statistical Verification
Sampling-based solution methods for verifying random or chance properties.
file
Abstract
Vehicle automation has progressed from systems that monitor the operation of a vehicle, such as antilock brakes and cruise control, to systems that sense adgacent vehicles, such as emergency braking and intelligent cruise control. The next generation of systems will share sensor readings and collaborate to control braking operations by looking several cars ahead or by creating safe gaps for merging vehicles.
project
Submitted by Mark Campbell on Mon, 10/31/2011 - 3:01pm
