Multi-Robot Navigation in Social Mini-Games: Definitions, Taxonomy, and Algorithms