Or plant monkey grass or mondo grass there... it does fine in the shade, doesn't need a lot of watering, and looks enough like grass that you can't tell the difference from a distance. It does fine with some foot traffic, and doesn't need mowing, and it spreads, but doesn't go crazy and it has shallow roots so it isn't hard to pull up and replant if it ends up someplace you didn't want it.