GTIU project page: differentiable Nash planning with adaptive probabilistic safety certificates
Description excerpted from the original listing, which is linked below.