NEWS: The paper "Safety verification methods  for human-driven vehicles at traffic intersections: optimal driver-adaptive supervisory control" has been recently accepted for publication and will soon appear on IEEE Transactions on Human-Machine Systems. For downloading the paper, please use the following link.