Safe planning using mixed-integer programming for autonomous vehicles coordination | Publicación