Symbolic reach-avoid control of multi-agent systems | Publicación