@ARTICLE{Campos2017b, 

author={Gabriel Rodrigues de Campos , Fabio Della Rossa, Alessandro Colombo}, 

journal={ IEEE Transactions on Human-Machine Systems}, 

title={Safety verification methods  for human-driven vehicles at traffic intersections: optimal driver-adaptive supervisory control}, 

year={2017, To appear}, 

}