Towards a Formal Representation of Driving Behaviors

Created October 28, 2002, Updated February 19, 2017