  We present an approach to ensure safe and deadlock-free navigation for
decentralized multi-robot systems operating in constrained environments,
including doorways and intersections. Although many solutions have been
proposed to ensure safety, preventing deadlocks in a decentralized fashion with
global consensus remains an open problem. We first formalize the objective as a
non-cooperative, non-communicative, partially observable multi-robot navigation
problem in constrained spaces with multiple conflicting agents, which we term
as \emph{social mini-games}. Our approach to ensuring liveness rests on two
novel insights: $(i)$ there exists a mixed-strategy Nash equilibrium that
allows decentralized robots to perturb their state onto \textit{liveness sets}
i.e. states where robots are deadlock-free and $(ii)$ forward invariance of
liveness sets can be achieved identical to how control barrier functions (CBFs)
guarantee forward invariance of safety sets. We evaluate our approach in
simulation as well on physical robots using F$1/10$ robots, a Clearpath Jackal,
as well as a Boston Dynamics Spot in a doorway and corridor intersection
scenario. Compared to both fully decentralized and centralized approaches with
and without deadlock resolution capabilities, we demonstrate that our approach
results in safer, more efficient, and smoother navigation, based on a
comprehensive set of metrics including success rate, collision rate, stop time,
change in velocity, path deviation, time-to-goal, and flow rate.
