A bi-level model to optimize road networks for a mixture of manual and automated driving