Deep reinforcement learning in service of air traffic controllers to resolve tactical conflicts | Publicación