A stochastically verifiable decision making framework for autonomous ground vehicles
Little Ben: The Ben Franklin Racing Team's entry in the 2007 DARPA Urban Challenge